|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoalaMgr.SymbolCollection
Collection of coala symbols.
CoalaElement
Fields inherited from interface ConForM.CoopnTools.CoKer.CoalaMgr.CoalaSymbolCollectionConstants |
EXCEPTION, HANDLER, OBJECT, RESOLUTION, ROLE, SYMBOLKINDNUMBER, USE, USECAA, VARIABLE |
Constructor Summary | |
protected |
SymbolCollection(CoopnBridge interfaceCoopnSymbols,
CoopnBridge bodyCoopnSymbols)
Simple constructor. |
Method Summary | |
protected int |
add(CoalaSymbol symbol,
boolean defined,
boolean external)
Add a symbol. |
CoopnBridge |
bodyCoopnSymbols()
Get the associated body coopn symbols. |
abstract java.lang.Object |
clone()
|
protected SymbolCollection |
cloneSymbolCollection()
|
boolean |
defined(int index,
int kind)
get the defined status of a symbol. |
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)
|
boolean |
external(int index,
int kind)
get the external status of a symbol. |
int |
hashCode()
|
protected int |
index(CoalaSymbol symbol)
get the integer associated to a symbol. |
CoopnBridge |
interfaceCoopnSymbols()
Get the associated interface coopn symbols. |
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 |
size(int kind)
get the number of symbols of a particular kind. |
CoalaSymbol |
symbol(int index,
int kind)
get a symbol. |
int |
symbolKindNumber()
|
int |
symbolToKind(CoalaSymbol s)
|
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. |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
protected SymbolCollection(CoopnBridge interfaceCoopnSymbols, CoopnBridge bodyCoopnSymbols) throws java.lang.IllegalArgumentException
Method Detail |
public int symbolKindNumber()
public int symbolToKind(CoalaSymbol s)
protected int add(CoalaSymbol symbol, boolean defined, boolean external)
symbol
- the symbol to adddefined
- true iff the symbol is definedexternal
- true iff the symbol is exportedprotected int index(CoalaSymbol symbol)
symbol
- the symbol to addpublic int size(int kind)
kind
- the symbol kindpublic CoalaSymbol symbol(int index, int kind)
index
- the integer associated to the symbolkind
- the symbol kindpublic boolean defined(int index, int kind)
index
- the integer associated to the symbolkind
- the symbol kindpublic boolean external(int index, int kind)
index
- the integer associated to the symbolkind
- the symbol kindpublic CoopnBridge interfaceCoopnSymbols()
public CoopnBridge bodyCoopnSymbols()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
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 typeprotected SymbolCollection cloneSymbolCollection()
public abstract java.lang.Object clone()
clone
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |