Package eu.bandm.tools.umod

Class Types

java.lang.Object

eu.bandm.tools.umod.Types

public class Types
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Types.HtmlDocText	Delivers text to explain compound UMod types, with UMod source level type constructors, javadoc-style links to the generated classes, and additional strictness comments.
static class	Types.JavaMapper	Central class for relating umod type definitions to Java type constructs.

Field Summary

Fields

Modifier and Type	Field	Description
static final GeneratedAnnotation	annotationDeprecated
static final MetaType	QUEST
static final EnvironmentClass	WRAPPEDCLASS_ArrayList
static final EnvironmentClass	WRAPPEDCLASS_boolean
static final EnvironmentClass	WRAPPEDCLASS_Boolean
static final EnvironmentClass	WRAPPEDCLASS_char
static final EnvironmentClass	WRAPPEDCLASS_Character
static final EnvironmentClass	WRAPPEDCLASS_CheckedCoPair_L
static final EnvironmentClass	WRAPPEDCLASS_CheckedCoPair_LR
static final EnvironmentClass	WRAPPEDCLASS_CheckedCoPair_R
static final EnvironmentClass	WRAPPEDCLASS_CheckedEnumMap
static final EnvironmentClass	WRAPPEDCLASS_CheckedList
static final EnvironmentClass	WRAPPEDCLASS_CheckedMap_D
static final EnvironmentClass	WRAPPEDCLASS_CheckedMap_R
static final EnvironmentClass	WRAPPEDCLASS_CheckedMap_RD
static final EnvironmentClass	WRAPPEDCLASS_CheckedMultimap_D
static final EnvironmentClass	WRAPPEDCLASS_CheckedMultimap_R
static final EnvironmentClass	WRAPPEDCLASS_CheckedMultimap_RD
static final EnvironmentClass	WRAPPEDCLASS_CheckedPair_L
static final EnvironmentClass	WRAPPEDCLASS_CheckedPair_LR
static final EnvironmentClass	WRAPPEDCLASS_CheckedPair_R
static final EnvironmentClass	WRAPPEDCLASS_CheckedSet
protected static final MetaClass	WRAPPEDCLASS_Class
static final EnvironmentClass	WRAPPEDCLASS_Collection
static final EnvironmentClass	WRAPPEDCLASS_Comparable
static final EnvironmentClass	WRAPPEDCLASS_CoPair
static final EnvironmentClass	WRAPPEDCLASS_CoPair_checkedLeft
static final EnvironmentClass	WRAPPEDCLASS_CoPair_checkedRight
static final EnvironmentClass	WRAPPEDCLASS_double
static final EnvironmentClass	WRAPPEDCLASS_Double
static final EnvironmentClass	WRAPPEDCLASS_EnumMap
static final EnvironmentClass	WRAPPEDCLASS_EnumSet
static final EnvironmentClass	WRAPPEDCLASS_float
static final EnvironmentClass	WRAPPEDCLASS_Float
protected static final MetaClass	WRAPPEDCLASS_Format
protected static final MetaClass	WRAPPEDCLASS_FunctionPatterns
static final EnvironmentClass	WRAPPEDCLASS_HashMap
static final EnvironmentClass	WRAPPEDCLASS_HashMultimap
static final EnvironmentClass	WRAPPEDCLASS_HashSet
protected static final MetaClass	WRAPPEDCLASS_IllegalStateException
static final EnvironmentClass	WRAPPEDCLASS_int
static final EnvironmentClass	WRAPPEDCLASS_Integer
static final EnvironmentClass	WRAPPEDCLASS_LinkedList
static final EnvironmentClass	WRAPPEDCLASS_List
static final EnvironmentClass	WRAPPEDCLASS_Map
static final EnvironmentClass	WRAPPEDCLASS_Map_checkedLeft
static final EnvironmentClass	WRAPPEDCLASS_Map_checkedRight
protected static final MetaClass	WRAPPEDCLASS_MapEntry
static final MetaClass	WRAPPEDCLASS_MapProxy_implementations
static final EnvironmentClass	WRAPPEDCLASS_Multimap
static final EnvironmentClass	WRAPPEDCLASS_Multimaps
static final EnvironmentClass	WRAPPEDCLASS_Object
protected static final MetaClass	WRAPPEDCLASS_Objects
protected static final MetaClass	WRAPPEDCLASS_ops_Consumer
protected static final MetaClass	WRAPPEDCLASS_ops_Function
protected static final MetaClass	WRAPPEDCLASS_OptimizingVisitor
static final EnvironmentClass	WRAPPEDCLASS_Pair
static final EnvironmentClass	WRAPPEDCLASS_Pair_checkedLeft
static final EnvironmentClass	WRAPPEDCLASS_Pair_checkedRight
protected static final MetaClass	WRAPPEDCLASS_Pattern
protected static final MetaClass	WRAPPEDCLASS_ReflectionPatterns
protected static final MetaClass	WRAPPEDCLASS_Rewriter
static final EnvironmentClass	WRAPPEDCLASS_Set
static final MetaClass	WRAPPEDCLASS_SetProxy_implementations
static final EnvironmentClass	WRAPPEDCLASS_String
static final EnvironmentClass	WRAPPEDCLASS_TreeMap
static final EnvironmentClass	WRAPPEDCLASS_TreeSet
static final EnvironmentClass	WRAPPEDCLASS_UncheckedCoPair
static final EnvironmentClass	WRAPPEDCLASS_UncheckedPair
protected static final MetaClass	WRAPPEDCLASS_void

Constructor Summary

Constructors

Constructor	Description
Types()

Method Summary

Modifier and Type	Method	Description
(package private) static MetaType	boxedDeclaredType(UMod.Type t)	AFTER JavaMapper HAS MATCHED: return declared type, or boxed type of this declared type in case this would be different.
(package private) static MetaType	boxedForOptional(UMod.Type t)	Returns the boxed declared type iff this is necessary for an "OPT" constructor.
static String	compilableFieldName(UMod.FieldDef fd)
static MetaType	declaredMapEntryType(UMod.T_2 t)
static boolean	defaultIsEmptyCollection(UMod.Type t)	Indicates if type is a collection (set, seq or map).
static UMod.ClassDef	getUmodClassDef(UMod.Forest f, UMod.Type t)	NEU 20150419, MUSS ES irrngxwo schon geben !?!?!? FIXME
static boolean	hasCanonicalOrder(UMod.Type t, UMod.Forest f, MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg)	For basic types a canonical order is always defined; for internal defs depends on generated code; for external types ask the environment.
static boolean	hasVariableLength(UMod.Type t)	Indicates if type is a map, multimap, list or a set
static Format	implementationFlagFormat(UMod.Type t, UMod.Forest f, MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg)	selects between tree and hash implementations for maps and sets
static boolean	isBasic(UMod.Type t)	Indicates if type is a basic type (umod int, float, string, char or bool).
static boolean	isEnumSetType(UMod.Type t)
static boolean	isExternal(UMod.T_reference t)	AFTER JavaMapper HAS MATCHED: indicates whether type is an imported, external class reference
static boolean	isExternalReferenceType(UMod.Type t)	AFTER JavaMapper HAS MATCHED: indicates whether type is an imported, external class reference
static boolean	isListoid(UMod.Type t)	Indicates if type is a list or a set
static boolean	isMapoid(UMod.Type t)	Indicates if type is a map or a multi-map
static boolean	isOpt(UMod.Type t)	Indicates if there is a top-level "OPT" operator.
static boolean	isPrimitive(UMod.Type t)	AFTER JavaMapper HAS MATCHED: indicates whether type is a primitive scalar java type.
static boolean	isTypedefReferenceType(UMod.Type t)	AFTER JavaMapper HAS MATCHED: indicates whether type is a typedef reference
static UMod.Type	nonOpt(UMod.Type t)	Strips off all top-level "OPT" operators, delivering the highest non-opt part of type expression.
static int	toplevelModif(GeneratedContext context)	If context is not a GeneratedClass, then it is a GeneratedPACKAGE and "static" is not allowed!

Methods inherited from class java.lang.Object

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

Field Details

QUEST

public static final MetaType QUEST

annotationDeprecated

public static final GeneratedAnnotation annotationDeprecated

WRAPPEDCLASS_void

protected static final MetaClass WRAPPEDCLASS_void

WRAPPEDCLASS_Object

public static final EnvironmentClass WRAPPEDCLASS_Object

WRAPPEDCLASS_Class

protected static final MetaClass WRAPPEDCLASS_Class

WRAPPEDCLASS_int

public static final EnvironmentClass WRAPPEDCLASS_int

WRAPPEDCLASS_Integer

public static final EnvironmentClass WRAPPEDCLASS_Integer

WRAPPEDCLASS_double

public static final EnvironmentClass WRAPPEDCLASS_double

WRAPPEDCLASS_Double

public static final EnvironmentClass WRAPPEDCLASS_Double

WRAPPEDCLASS_float

public static final EnvironmentClass WRAPPEDCLASS_float

WRAPPEDCLASS_Float

public static final EnvironmentClass WRAPPEDCLASS_Float

WRAPPEDCLASS_char

public static final EnvironmentClass WRAPPEDCLASS_char

WRAPPEDCLASS_Character

public static final EnvironmentClass WRAPPEDCLASS_Character

WRAPPEDCLASS_String

public static final EnvironmentClass WRAPPEDCLASS_String

WRAPPEDCLASS_boolean

public static final EnvironmentClass WRAPPEDCLASS_boolean

WRAPPEDCLASS_Boolean

public static final EnvironmentClass WRAPPEDCLASS_Boolean

WRAPPEDCLASS_List

public static final EnvironmentClass WRAPPEDCLASS_List

WRAPPEDCLASS_LinkedList

public static final EnvironmentClass WRAPPEDCLASS_LinkedList

WRAPPEDCLASS_ArrayList

public static final EnvironmentClass WRAPPEDCLASS_ArrayList

WRAPPEDCLASS_Format

protected static final MetaClass WRAPPEDCLASS_Format

WRAPPEDCLASS_Pattern

protected static final MetaClass WRAPPEDCLASS_Pattern

WRAPPEDCLASS_FunctionPatterns

protected static final MetaClass WRAPPEDCLASS_FunctionPatterns

WRAPPEDCLASS_ReflectionPatterns

protected static final MetaClass WRAPPEDCLASS_ReflectionPatterns

WRAPPEDCLASS_Comparable

public static final EnvironmentClass WRAPPEDCLASS_Comparable

WRAPPEDCLASS_EnumSet

public static final EnvironmentClass WRAPPEDCLASS_EnumSet

WRAPPEDCLASS_EnumMap

public static final EnvironmentClass WRAPPEDCLASS_EnumMap

WRAPPEDCLASS_CheckedEnumMap

public static final EnvironmentClass WRAPPEDCLASS_CheckedEnumMap

WRAPPEDCLASS_CheckedList

public static final EnvironmentClass WRAPPEDCLASS_CheckedList

WRAPPEDCLASS_Set

public static final EnvironmentClass WRAPPEDCLASS_Set

WRAPPEDCLASS_HashSet

public static final EnvironmentClass WRAPPEDCLASS_HashSet

WRAPPEDCLASS_TreeSet

public static final EnvironmentClass WRAPPEDCLASS_TreeSet

WRAPPEDCLASS_CheckedSet

public static final EnvironmentClass WRAPPEDCLASS_CheckedSet

WRAPPEDCLASS_Map

public static final EnvironmentClass WRAPPEDCLASS_Map

WRAPPEDCLASS_MapEntry

protected static final MetaClass WRAPPEDCLASS_MapEntry

WRAPPEDCLASS_Collection

public static final EnvironmentClass WRAPPEDCLASS_Collection

WRAPPEDCLASS_HashMap

public static final EnvironmentClass WRAPPEDCLASS_HashMap

WRAPPEDCLASS_TreeMap

public static final EnvironmentClass WRAPPEDCLASS_TreeMap

WRAPPEDCLASS_Map_checkedLeft

public static final EnvironmentClass WRAPPEDCLASS_Map_checkedLeft

WRAPPEDCLASS_Map_checkedRight

public static final EnvironmentClass WRAPPEDCLASS_Map_checkedRight

WRAPPEDCLASS_CheckedMap_R

public static final EnvironmentClass WRAPPEDCLASS_CheckedMap_R

WRAPPEDCLASS_CheckedMap_D

public static final EnvironmentClass WRAPPEDCLASS_CheckedMap_D

WRAPPEDCLASS_CheckedMap_RD

public static final EnvironmentClass WRAPPEDCLASS_CheckedMap_RD

WRAPPEDCLASS_MapProxy_implementations

public static final MetaClass WRAPPEDCLASS_MapProxy_implementations

WRAPPEDCLASS_SetProxy_implementations

public static final MetaClass WRAPPEDCLASS_SetProxy_implementations

WRAPPEDCLASS_Multimap

public static final EnvironmentClass WRAPPEDCLASS_Multimap

WRAPPEDCLASS_HashMultimap

public static final EnvironmentClass WRAPPEDCLASS_HashMultimap

WRAPPEDCLASS_Multimaps

public static final EnvironmentClass WRAPPEDCLASS_Multimaps

WRAPPEDCLASS_CheckedMultimap_D

public static final EnvironmentClass WRAPPEDCLASS_CheckedMultimap_D

WRAPPEDCLASS_CheckedMultimap_R

public static final EnvironmentClass WRAPPEDCLASS_CheckedMultimap_R

WRAPPEDCLASS_CheckedMultimap_RD

public static final EnvironmentClass WRAPPEDCLASS_CheckedMultimap_RD

WRAPPEDCLASS_Pair

public static final EnvironmentClass WRAPPEDCLASS_Pair

WRAPPEDCLASS_Pair_checkedLeft

public static final EnvironmentClass WRAPPEDCLASS_Pair_checkedLeft

WRAPPEDCLASS_Pair_checkedRight

public static final EnvironmentClass WRAPPEDCLASS_Pair_checkedRight

WRAPPEDCLASS_UncheckedPair

public static final EnvironmentClass WRAPPEDCLASS_UncheckedPair

WRAPPEDCLASS_CheckedPair_L

public static final EnvironmentClass WRAPPEDCLASS_CheckedPair_L

WRAPPEDCLASS_CheckedPair_R

public static final EnvironmentClass WRAPPEDCLASS_CheckedPair_R

WRAPPEDCLASS_CheckedPair_LR

public static final EnvironmentClass WRAPPEDCLASS_CheckedPair_LR

WRAPPEDCLASS_CoPair

public static final EnvironmentClass WRAPPEDCLASS_CoPair

WRAPPEDCLASS_CoPair_checkedLeft

public static final EnvironmentClass WRAPPEDCLASS_CoPair_checkedLeft

WRAPPEDCLASS_CoPair_checkedRight

public static final EnvironmentClass WRAPPEDCLASS_CoPair_checkedRight

WRAPPEDCLASS_UncheckedCoPair

public static final EnvironmentClass WRAPPEDCLASS_UncheckedCoPair

WRAPPEDCLASS_CheckedCoPair_L

public static final EnvironmentClass WRAPPEDCLASS_CheckedCoPair_L

WRAPPEDCLASS_CheckedCoPair_R

public static final EnvironmentClass WRAPPEDCLASS_CheckedCoPair_R

WRAPPEDCLASS_CheckedCoPair_LR

public static final EnvironmentClass WRAPPEDCLASS_CheckedCoPair_LR

WRAPPEDCLASS_ops_Function

protected static final MetaClass WRAPPEDCLASS_ops_Function

WRAPPEDCLASS_ops_Consumer

protected static final MetaClass WRAPPEDCLASS_ops_Consumer

WRAPPEDCLASS_Objects

protected static final MetaClass WRAPPEDCLASS_Objects

WRAPPEDCLASS_OptimizingVisitor

protected static final MetaClass WRAPPEDCLASS_OptimizingVisitor

WRAPPEDCLASS_Rewriter

protected static final MetaClass WRAPPEDCLASS_Rewriter

WRAPPEDCLASS_IllegalStateException

protected static final MetaClass WRAPPEDCLASS_IllegalStateException

Constructor Details

Types

public Types()

Method Details

compilableFieldName

public static String compilableFieldName(UMod.FieldDef fd)

toplevelModif

public static int toplevelModif(GeneratedContext context)

If context is not a GeneratedClass, then it is a GeneratedPACKAGE and "static" is not allowed!

nonOpt

public static UMod.Type nonOpt(UMod.Type t)

Strips off all top-level "OPT" operators, delivering the highest non-opt part of type expression.

isOpt

public static boolean isOpt(UMod.Type t)

Indicates if there is a top-level "OPT" operator.

isPrimitive

public static boolean isPrimitive(UMod.Type t)

AFTER JavaMapper HAS MATCHED: indicates whether type is a primitive scalar java type.

isExternalReferenceType

public static boolean isExternalReferenceType(UMod.Type t)

AFTER JavaMapper HAS MATCHED: indicates whether type is an imported, external class reference

isExternal

public static boolean isExternal(UMod.T_reference t)

AFTER JavaMapper HAS MATCHED: indicates whether type is an imported, external class reference

isTypedefReferenceType

public static boolean isTypedefReferenceType(UMod.Type t)

AFTER JavaMapper HAS MATCHED: indicates whether type is a typedef reference

isEnumSetType

public static boolean isEnumSetType(UMod.Type t)

getUmodClassDef

public static UMod.ClassDef getUmodClassDef(UMod.Forest f,
 UMod.Type t)

NEU 20150419, MUSS ES irrngxwo schon geben !?!?!? FIXME

boxedDeclaredType

static MetaType boxedDeclaredType(UMod.Type t)

AFTER JavaMapper HAS MATCHED: return declared type, or boxed type of this declared type in case this would be different.

boxedForOptional

static MetaType boxedForOptional(UMod.Type t)

Returns the boxed declared type iff this is necessary for an "OPT" constructor.

defaultIsEmptyCollection

public static boolean defaultIsEmptyCollection(UMod.Type t)

Indicates if type is a collection (set, seq or map). FIXME treatment of TYPEDEFS wrong !!!

isBasic

public static boolean isBasic(UMod.Type t)

Indicates if type is a basic type (umod int, float, string, char or bool).

hasCanonicalOrder

public static boolean hasCanonicalOrder(UMod.Type t,
 UMod.Forest f,
 MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg)

For basic types a canonical order is always defined; for internal defs depends on generated code; for external types ask the environment. FIXME FALSCH! muss JavaMapper schon eintragen, damit hier FOREST nicht mehr benoetigt wird !!!???

isMapoid

public static boolean isMapoid(UMod.Type t)

Indicates if type is a map or a multi-map

isListoid

public static boolean isListoid(UMod.Type t)

Indicates if type is a list or a set

hasVariableLength

public static boolean hasVariableLength(UMod.Type t)

Indicates if type is a map, multimap, list or a set

declaredMapEntryType

public static MetaType declaredMapEntryType(UMod.T_2 t)

implementationFlagFormat

public static Format implementationFlagFormat(UMod.Type t,
 UMod.Forest f,
 MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg)

selects between tree and hash implementations for maps and sets