eu.bandm.tools.dtd

Class DTD.AttValue

java.lang.Object

eu.bandm.tools.dtd.DTD.DefaultDecl

eu.bandm.tools.dtd.DTD.AttValue

All Implemented Interfaces:

Formattable, Cloneable

Enclosing class:

DTD

public static class DTD.AttValue
extends DTD.DefaultDecl

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "DTD.umod":66.1-3, cf. this pretty print.)

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	fixed Generated by umod; model author's documentation MISSING.
protected String	value Generated by umod; model author's documentation MISSING.

Fields inherited from class eu.bandm.tools.dtd.DTD.DefaultDecl

IMPLIED, REQUIRED

Fields inherited from interface eu.bandm.tools.format.Formattable

format

Constructor Summary

Constructors

Constructor and Description
AttValue(boolean fixed, String value) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

Method Summary

Modifier and Type	Method and Description
DTD.AttValue	doclone() Clones this object.
Format	format() Delivers a format object for pretty-printing, as specified in the umod source.
boolean	get_fixed() Generated by umod; model author's documentation MISSING.
static Pattern<DTD.AttValue>	get_fixed(Pattern<? super Boolean> p) Lifts a pattern which matches the field value to one which matches this whole object.
String	get_value() Generated by umod; model author's documentation MISSING.
static Pattern<DTD.AttValue>	get_value(Pattern<? super String> p) Lifts a pattern which matches the field value to one which matches this whole object.
static String	getFormatHint() Delivers the format specification from the umod source.
DTD.AttValue	initFrom(Object o0) Copies values of all common fields from the argument.
boolean	set_fixed(boolean val) Generated by umod; model author's documentation MISSING.
boolean	set_value(String val) Generated by umod; model author's documentation MISSING.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

fixed

protected boolean fixed

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "DTD.umod":170.5-49, cf. this pretty print.)
The type of this field is boolean(never null)
It is set by every possible constructor.

See Also:

get_fixed(), set_fixed(boolean)

value

protected String value

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "DTD.umod":171.5-49, cf. this pretty print.)
The type of this field is java.lang.String(never null)
It is set by every possible constructor.

See Also:

get_value(), set_value(java.lang.String)

Constructor Detail

AttValue

public AttValue(boolean fixed,
                String value)

Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".

Parameters:

fixed - is copied to field fixed

value - is copied to field value

Method Detail

doclone

public DTD.AttValue doclone()

Clones this object. Method never fails, since Cloneable is known to be implemented.

Overrides:

doclone in class DTD.DefaultDecl

Returns:

a fresh copy.

getFormatHint

public static String getFormatHint()

Delivers the format specification from the umod source.
The constant return value is ..
$switch fixed{true:'#FIXED '}($java'eu.bandm.tools.format.Format.quoteDTDstyle'(value))
This can be used e.g. by format code interpreters which process objects of different origin.

format

public Format format()

Delivers a format object for pretty-printing, as specified in the umod source.

Specified by:

format in interface Formattable

Overrides:

format in class DTD.DefaultDecl

initFrom

public DTD.AttValue initFrom(Object o0)

Copies values of all common fields from the argument. All fields of this class definition are copied, iff the argument is of this class. Then the superclass method is invoked with the same argument.

Overrides:

initFrom in class DTD.DefaultDecl

get_fixed

public boolean get_fixed()

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "DTD.umod":170.5-49, cf. this pretty print.)
Generated getter method. @see #fixed

Returns:

The current field value of type boolean(never null)

set_fixed

public boolean set_fixed(boolean val)

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "DTD.umod":170.5-49, cf. this pretty print.)
Updates the (mutable) instance destructively.

Parameters:

val - the new value of type boolean(never null)

Returns:

whether a change (w.r.t. ==) did actually happen.

See Also:

fixed

get_value

public String get_value()

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "DTD.umod":171.5-49, cf. this pretty print.)
Generated getter method. @see #value

Returns:

The current field value of type java.lang.String(never null)

set_value

public boolean set_value(String val)

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "DTD.umod":171.5-49, cf. this pretty print.)
Updates the (mutable) instance destructively.

Parameters:

val - the new value of type java.lang.String(never null)

Returns:

whether a change (w.r.t. ==) did actually happen.

See Also:

value

get_fixed

public static Pattern<DTD.AttValue> get_fixed(Pattern<? super Boolean> p)

Lifts a pattern which matches the field value to one which matches this whole object.
More complex pattern methods are generated in the one ancillary class DTD.__Patterns.

get_value

public static Pattern<DTD.AttValue> get_value(Pattern<? super String> p)

Lifts a pattern which matches the field value to one which matches this whole object.
More complex pattern methods are generated in the one ancillary class DTD.__Patterns.