Package eu.bandm.tools.dtm

Class DTM.Attribute

java.lang.Object

eu.bandm.tools.dtm.DTM.Named

eu.bandm.tools.dtm.DTM.Attribute

All Implemented Interfaces:

Formattable, Cloneable

Enclosing class:

DTM

public static class DTM.Attribute
extends DTM.Named

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "DTM.umod":29.1-32.16, see this pretty print.)

Field Summary

Fields

Modifier and Type	Field	Description
protected static final int	BASE_HASH
protected DTM.AttributeDefault	def	Generated by umod; model author's documentation MISSING.
protected DTM.AttributeType	type	Generated by umod; model author's documentation MISSING.

Fields inherited from class eu.bandm.tools.dtm.DTM.Named

location, name

Constructor Summary

Constructors

Constructor	Description
Attribute(NamespaceName name, DTM.AttributeType type, DTM.AttributeDefault def)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

Method Summary

Modifier and Type	Method	Description
DTM.Attribute	doclone()	Clones this object.
boolean	equals(Object e0)	Generated by umod because this class is ALGEBRAIC.
Format	format()	Delivers a format object for pretty-printing, as specified in the umod source.
DTM.AttributeDefault	get_def()	Generated by umod; model author's documentation MISSING.
static Pattern<DTM.Attribute>	get_def(Pattern<? super DTM.AttributeDefault> p)	Lifts a pattern which matches the field value to one which matches this whole object.
DTM.AttributeType	get_type()	Generated by umod; model author's documentation MISSING.
static Pattern<DTM.Attribute>	get_type(Pattern<? super DTM.AttributeType> 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.
int	hashCode()	Generated by umod because this class is ALGEBRAIC.
DTM.Attribute	initFrom(Object o0)	Copies values of all common fields from the argument.
DTM.Attribute	with_def(DTM.AttributeDefault val)	Generated by umod; model author's documentation MISSING.
DTM.Attribute	with_type(DTM.AttributeType val)	Generated by umod; model author's documentation MISSING.
boolean	x_equals(DTM.Attribute e0)

Methods inherited from class eu.bandm.tools.dtm.DTM.Named

get_location, get_location, get_name, get_name, set_location, set_name

Methods inherited from class java.lang.Object

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

Field Details

BASE_HASH

protected static final int BASE_HASH

type

protected DTM.AttributeType type

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

See Also:

• get_type()
• with_type(eu.bandm.tools.dtm.DTM.AttributeType)

def

protected DTM.AttributeDefault def

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

See Also:

• get_def()
• with_def(eu.bandm.tools.dtm.DTM.AttributeDefault)

Constructor Details

Attribute

public Attribute(NamespaceName name,
 DTM.AttributeType type,
 DTM.AttributeDefault def)

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

Parameters:

name - is copied to field DTM.Named.name

type - is copied to field type

def - is copied to field def

Method Details

doclone

public DTM.Attribute doclone()

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

Overrides:

doclone in class DTM.Named

Returns:

a fresh copy.

getFormatHint

public static String getFormatHint()

Delivers the format specification from the umod source.
The constant return value is ..
name |type |def
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 DTM.Named

Returns:

a format that represents this object in a pretty-printable way

equals

public boolean equals(Object e0)

Generated by umod because this class is ALGEBRAIC.

Overrides:

equals in class Object

x_equals

public boolean x_equals(DTM.Attribute e0)

hashCode

public int hashCode()

Generated by umod because this class is ALGEBRAIC.

Overrides:

hashCode in class Object

initFrom

public DTM.Attribute 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 DTM.Named

get_type

public DTM.AttributeType get_type()

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "DTM.umod":30.9-63, see this pretty print.)
Generated getter method.

Returns:

The current field value of type DTM.AttributeType(never null)

See Also:

• type

with_type

public DTM.Attribute with_type(DTM.AttributeType val)

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "DTM.umod":30.9-63, see this pretty print.)

Parameters:

val - the new value of type DTM.AttributeType(never null)

Returns:

a new instance of the algebraic/immutable data type, with the addressed field set to the new value.

See Also:

• 


get_def

public DTM.AttributeDefault get_def()

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "DTM.umod":31.9-63, see this pretty print.)
Generated getter method.

Returns:

The current field value of type DTM.AttributeDefault(never null)

See Also:

• def

with_def

public DTM.Attribute with_def(DTM.AttributeDefault val)

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "DTM.umod":31.9-63, see this pretty print.)

Parameters:

val - the new value of type DTM.AttributeDefault(never null)

Returns:

a new instance of the algebraic/immutable data type, with the addressed field set to the new value.

See Also:

• 


get_type

public static Pattern<DTM.Attribute> get_type(Pattern<? super DTM.AttributeType> 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 DTM.__Patterns.

get_def

public static Pattern<DTM.Attribute> get_def(Pattern<? super DTM.AttributeDefault> 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 DTM.__Patterns.