|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnModule
Coopn module.
CoopnElement
, Serialized FormField Summary | |
static int |
ADT
|
static int |
CLASS
|
protected java.lang.String |
comment
|
static int |
CONTEXT
|
protected CoopnHeader |
header
|
protected CoopnCompilInfo |
info
|
protected CoopnInheritList |
inherits
|
protected int |
kind
|
static int |
MORPHISM
|
protected CoopnSymbolTable |
table
|
Constructor Summary | |
protected |
CoopnModule(CoopnCompilInfo info,
CoopnSymbolTable table,
int kind,
CoopnHeader header,
CoopnInheritList inherits)
Simple constructor. |
protected |
CoopnModule(CoopnCompilInfo info,
CoopnSymbolTable table,
int kind,
CoopnHeader header,
CoopnInheritList inherits,
java.lang.String comment)
Simple constructor. |
Method Summary | |
java.lang.Object |
clone()
Cloning method. |
java.lang.String |
comment()
Comment retrieving method. |
CoopnCompilInfo |
compilInfo()
Return the compilation information associated to this module. |
java.lang.String[] |
dependencies()
Module dependency. |
boolean |
equ(CoopnTypeAgg left,
CoopnTypeAgg right)
Equivalence between two lists of types. |
boolean |
equ(CoopnType left,
CoopnType right)
Equivalence between two types. |
boolean |
equals(java.lang.Object obj)
Equality method. |
int |
hashCode()
Hashcode method. |
boolean |
hasInherits()
|
boolean |
hasParameters()
Look if this module has parameters,i.e. additional information to the complete kind. |
CoopnHeader |
header()
|
java.lang.String |
headerCompleteString()
|
java.lang.String |
headerCompleteString(CoopnEnv env)
|
java.lang.String |
headerString()
|
java.lang.String |
headerString(CoopnEnv env)
|
CoopnCompilInfo |
info()
|
CoopnInheritList |
inherits()
|
CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
abstract java.lang.String |
kind()
Kind retrieving method. |
boolean |
less(CoopnTypeAgg sub,
CoopnTypeAgg sup)
Order between two lists of types. |
boolean |
less(CoopnType sub,
CoopnType sup)
Order between two types. |
boolean |
lessOrEqu(CoopnTypeAgg sub,
CoopnTypeAgg sup)
Order between two lists of types. |
boolean |
lessOrEqu(CoopnType sub,
CoopnType sup)
Order between two types. |
int |
mkind()
|
int |
moduleKind()
Get the module kind (in the sense of the package manager) of this module, for instance COOPNSOURCE, COALASOURCE, PACKAGE, and so on). |
java.lang.String |
moduleName()
Get the name. |
java.lang.String |
parameters()
Parameters retrieving method. |
boolean |
pureCOIL()
Pure COIL-COOPN2C verification method. |
boolean |
pureCOOPN()
Pure COOPN verification method. |
abstract CoopnSyntacticSection[] |
sections()
Get the sections of this module. |
CoopnSymbolTable |
symbolTable()
|
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoModule |
toCoco()
To compact Coopn transformation. |
boolean |
unifiable(CoopnTypeAgg left,
CoopnTypeAgg right)
Compatibility for unification between two lists of types. |
boolean |
unifiable(CoopnType left,
CoopnType right)
Compatibility for unification between two types. |
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
void |
useSymbolTable(CoopnSymbolTable table)
|
static boolean |
validKind(int kind)
|
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement |
cloneCoopnElement, toCoco, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toText, toTokens, toTokens, toTokens |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticModule |
completeKind |
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement |
toCompleteString, toCompleteString, toCompleteString, toString, toString, toString |
Field Detail |
public static final int ADT
public static final int CLASS
public static final int CONTEXT
public static final int MORPHISM
protected int kind
protected CoopnHeader header
protected CoopnInheritList inherits
protected CoopnCompilInfo info
protected CoopnSymbolTable table
protected java.lang.String comment
Constructor Detail |
protected CoopnModule(CoopnCompilInfo info, CoopnSymbolTable table, int kind, CoopnHeader header, CoopnInheritList inherits)
protected CoopnModule(CoopnCompilInfo info, CoopnSymbolTable table, int kind, CoopnHeader header, CoopnInheritList inherits, java.lang.String comment)
Method Detail |
public boolean pureCOOPN()
CoopnElement
pureCOOPN
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public boolean pureCOIL()
CoopnElement
pureCOIL
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public static boolean validKind(int kind)
public CoopnElement interpret(CoopnSubstitution sigma)
CoopnElement
interpret
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
sigma
- the substitution; cannot be nullpublic void useSymbolTable(CoopnSymbolTable table)
public java.lang.String moduleName()
CoopnSyntacticModule
moduleName
in interface CoopnSyntacticModule
ConForM.CoopnTools.CoKer.CoopnSyntacticModule
public int mkind()
public java.lang.String comment()
CoopnSyntacticModule
comment
in interface CoopnSyntacticModule
ConForM.CoopnTools.CoKer.CoopnSyntacticModule
public int moduleKind()
moduleKind
in interface CoopnSyntacticModule
public abstract java.lang.String kind()
CoopnSyntacticModule
kind
in interface CoopnSyntacticModule
ConForM.CoopnTools.CoKer.CoopnSyntacticModule
public abstract CoopnSyntacticSection[] sections()
CoopnSyntacticModule
sections
in interface CoopnSyntacticModule
ConForM.CoopnTools.CoKer.CoopnSyntacticModule
public boolean hasParameters()
hasParameters
in interface CoopnSyntacticModule
public java.lang.String parameters()
parameters
in interface CoopnSyntacticModule
public CoopnHeader header()
public CoopnInheritList inherits()
public CoopnCompilInfo compilInfo()
CoopnSyntacticModule
compilInfo
in interface CoopnSyntacticModule
public CoopnCompilInfo info()
public CoopnSymbolTable symbolTable()
public java.lang.String[] dependencies()
CoopnModuleDependency
dependencies
in interface CoopnModuleDependency
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnModuleDependency
public boolean equ(CoopnTypeAgg left, CoopnTypeAgg right)
CoopnTypeRelation
equ
in interface CoopnTypeRelation
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
left
- the first list of typesright
- the second list of typespublic boolean equ(CoopnType left, CoopnType right)
CoopnTypeRelation
equ
in interface CoopnTypeRelation
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
left
- the first typeright
- the second typepublic boolean less(CoopnTypeAgg sub, CoopnTypeAgg sup)
CoopnTypeRelation
less
in interface CoopnTypeRelation
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
sub
- the first list of typessup
- the second list of typespublic boolean less(CoopnType sub, CoopnType sup)
CoopnTypeRelation
less
in interface CoopnTypeRelation
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
sub
- the first typesup
- the second typepublic boolean lessOrEqu(CoopnTypeAgg sub, CoopnTypeAgg sup)
CoopnTypeRelation
lessOrEqu
in interface CoopnTypeRelation
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
sub
- the first list of typessup
- the second list of typespublic boolean lessOrEqu(CoopnType sub, CoopnType sup)
CoopnTypeRelation
lessOrEqu
in interface CoopnTypeRelation
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
sub
- the first typesup
- the second typepublic boolean unifiable(CoopnTypeAgg left, CoopnTypeAgg right)
CoopnTypeRelation
unifiable
in interface CoopnTypeRelation
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
left
- the first list of typesright
- the second list of typespublic boolean unifiable(CoopnType left, CoopnType right)
CoopnTypeRelation
unifiable
in interface CoopnTypeRelation
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
left
- the first typeright
- the second typepublic boolean hasInherits()
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoModule toCoco() throws java.lang.IllegalArgumentException
java.lang.IllegalArgumentException
- indicicates that the module is not consistent,
i.e. that some referenced symbols are not
found or invalid in the symbol table.public boolean equals(java.lang.Object obj)
CoopnSyntacticElement
equals
in interface CoopnSyntacticElement
equals
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
obj
- the object to comparepublic int hashCode()
CoopnSyntacticElement
hashCode
in interface CoopnSyntacticElement
hashCode
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
public java.lang.String headerString(CoopnEnv env)
public java.lang.String headerString()
public java.lang.String headerCompleteString(CoopnEnv env)
public java.lang.String headerCompleteString()
public java.lang.Object unmodifiableCopy()
CoopnElement
unmodifiableCopy
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public java.lang.Object clone()
CoopnSyntacticElement
clone
in interface CoopnSyntacticElement
clone
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |