Package eu.bandm.tools.umod

Class UMod2java.CompileConstructors_20181214

java.lang.Object

eu.bandm.tools.umod.UMod2java.CompileConstructors_20181214

Enclosing class:

UMod2java

protected class UMod2java.CompileConstructors_20181214
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) Map<UMod.ClassDef,List<UMod.FieldDef>>	allObligates
protected Map<UMod.ClassDef,Set<List<UMod.FieldDef>>>	constructorSignatures
protected final List<UMod.FieldDef>	EMPTYLIST
(package private) Map<UMod.ClassDef,List<UMod.FieldDef>>	firstMinimalConstructor

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	CompileConstructors_20181214()

Method Summary

Modifier and Type	Method	Description
protected boolean	checkDuplicateConstructor(UMod.ClassDef cd, Collection<UMod.FieldDef> signature)
protected void	collectAllObligates(UMod.ClassDef cd)
protected void	compileConstructor(UMod.ClassDef cd, @Opt Integer key, Collection<UMod.FieldDef> allParams, @Opt Collection<UMod.FieldDef> superParams)	When this is called: no obligate fields are missing.
protected void	expandOrInherit(UMod.ClassDef cd, int key, Collection<UMod.FieldDef> superfields, int lastIndex)
protected void	process(UMod.ClassDef cd)
protected void	process(UMod.Forest model)

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

allObligates

Map<UMod.ClassDef,List<UMod.FieldDef>> allObligates

firstMinimalConstructor

Map<UMod.ClassDef,List<UMod.FieldDef>> firstMinimalConstructor

constructorSignatures

protected Map<UMod.ClassDef,Set<List<UMod.FieldDef>>> constructorSignatures

Constructor Details

CompileConstructors_20181214

protected CompileConstructors_20181214()

Method Details

collectAllObligates

protected void collectAllObligates(UMod.ClassDef cd)

checkDuplicateConstructor

protected boolean checkDuplicateConstructor(UMod.ClassDef cd,
 Collection<UMod.FieldDef> signature)

process

protected void process(UMod.Forest model)

process

protected void process(UMod.ClassDef cd)

compileConstructor

protected void compileConstructor(UMod.ClassDef cd,
 @Opt
 @Opt Integer key,
 Collection<UMod.FieldDef> allParams,
 @Opt
 @Opt Collection<UMod.FieldDef> superParams)

When this is called: no obligate fields are missing.

Parameters:

superParams - is only !=null when called from expandOrInherit(). Otherwise take firstMinimalConstructor.get(..) as signature of super constructor.

expandOrInherit

protected void expandOrInherit(UMod.ClassDef cd,
 int key,
 Collection<UMod.FieldDef> superfields,
 int lastIndex)