Package eu.bandm.tools.umod

Class UMod2java.CompileConstructors

java.lang.Object

eu.bandm.tools.umod.UMod2java.CompileConstructors

Enclosing class:

UMod2java

protected class UMod2java.CompileConstructors
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<UMod.ClassDef,Set<String>>	constructorSignatures
protected final List<UMod.FieldDef>	EMPTYLIST

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	CompileConstructors()

Method Summary

Modifier and Type	Method	Description
protected boolean	checkDuplicateConstructor(UMod.ClassDef cd, String signature)
protected void	expandOrInherit(UMod.ClassDef cd, Integer key, SortedMap<Integer,UMod.FieldDef> superfields)
protected boolean	makeconstructor(UMod.ClassDef cd, Integer key, Collection<UMod.FieldDef> inherited, Collection<UMod.FieldDef> newparams)	Generates a constructor with signature "inherited+newparams". Compiles a call to "super()" for the former and assignment statements for the latter(). ASSUME "Collection" is ordered, since it is "aTreeMap.values()"
protected void	process(UMod.ClassDef cd)
protected void	process(UMod.Forest model)
protected boolean	test_0ary_constructor(UMod.ClassDef cd)	Returns true immediately if a 0ary constructor is defined by the user explictly (in verbatim Java code), or already implicitly generated by this routine. Otherwise: if there are no obligate fields without initial value, a new 0ary constructor is generated, and "true" returned. Otherwise returns false.

Methods inherited from class java.lang.Object

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

Field Details

EMPTYLIST

protected final List<UMod.FieldDef> EMPTYLIST

constructorSignatures

protected Map<UMod.ClassDef,Set<String>> constructorSignatures

Constructor Details

CompileConstructors

protected CompileConstructors()

Method Details

test_0ary_constructor

protected boolean test_0ary_constructor(UMod.ClassDef cd)

Returns true immediately if a 0ary constructor is defined by the user explictly (in verbatim Java code), or already implicitly generated by this routine. Otherwise: if there are no obligate fields without initial value, a new 0ary constructor is generated, and "true" returned. Otherwise returns false.

process

protected void process(UMod.Forest model)

process

protected void process(UMod.ClassDef cd)

expandOrInherit

protected void expandOrInherit(UMod.ClassDef cd,
 Integer key,
 SortedMap<Integer,UMod.FieldDef> superfields)

checkDuplicateConstructor

protected boolean checkDuplicateConstructor(UMod.ClassDef cd,
 String signature)

makeconstructor

protected boolean makeconstructor(UMod.ClassDef cd,
 Integer key,
 Collection<UMod.FieldDef> inherited,
 Collection<UMod.FieldDef> newparams)

Generates a constructor with signature "inherited+newparams".
Compiles a call to "super()" for the former and assignment statements for the latter().
ASSUME "Collection" is ordered, since it is "aTreeMap.values()"