|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame | +--ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnBridge
Coopn bridge. A coopn bridge is used to interpret co-opn source text containing elements form another formalism. It allows the mapping between symbols of the other formalism and coopn symbols, and provides a CoopnFrame according to these symbols.
Constructor Summary | |
CoopnBridge(java.lang.String name,
CoopnMgr mgr,
CoopnEnv env)
Creates a new situation external to every loaded modules. |
Method Summary | |
void |
addTranslatedSymbol(CoopnSyntacticSymbol originalSymbol,
CoopnSymbol translatedSymbol)
Add a translated symbol in the translation table. |
void |
addUsedModule(java.lang.String name)
Add an used module. |
java.lang.Object |
clone()
|
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 |
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. |
java.lang.String |
name()
Get the name. |
CoopnSyntacticSymbol |
origin(CoopnSymbol parameter)
Reverse translation of a symbol. |
java.util.Enumeration |
originalSymbols()
Get the original symbols. |
java.lang.String |
toString()
|
CoopnSymbol |
translate(CoopnSyntacticSymbol original)
Translate an original symbol into its coopn equivalent. |
java.util.Enumeration |
translatedSymbols()
Get the translated symbols. |
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.util.Enumeration |
usedModules()
Get the used modules. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame |
addSymbol, cloneCoopnEnvironmentalFrame, coreToString, hashCode, usedSymbols |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame |
cloneCoopnFrame |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public CoopnBridge(java.lang.String name, CoopnMgr mgr, CoopnEnv env)
mgr
- the coopn manager to useenv
- the environmentMethod Detail |
public java.lang.String[] dependencies()
CoopnModuleDependency
dependencies
in interface CoopnModuleDependency
dependencies
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnModuleDependency
public boolean equ(CoopnTypeAgg left, CoopnTypeAgg right)
CoopnTypeRelation
equ
in interface CoopnTypeRelation
equ
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
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
equ
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
left
- the first typeright
- the second typepublic boolean less(CoopnTypeAgg sub, CoopnTypeAgg sup)
CoopnTypeRelation
less
in interface CoopnTypeRelation
less
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
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
less
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
sub
- the first typesup
- the second typepublic boolean lessOrEqu(CoopnTypeAgg sub, CoopnTypeAgg sup)
CoopnTypeRelation
lessOrEqu
in interface CoopnTypeRelation
lessOrEqu
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
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
lessOrEqu
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
sub
- the first typesup
- the second typepublic boolean unifiable(CoopnTypeAgg left, CoopnTypeAgg right)
CoopnTypeRelation
unifiable
in interface CoopnTypeRelation
unifiable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
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
unifiable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
left
- the first typeright
- the second typepublic void addUsedModule(java.lang.String name)
addUsedModule
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
module
- the name of the module to usepublic void addTranslatedSymbol(CoopnSyntacticSymbol originalSymbol, CoopnSymbol translatedSymbol)
originalSymbol
- the original symboltranslatedSymbol
- the translated symbolpublic java.lang.String name()
name
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
public java.util.Enumeration usedModules()
usedModules
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
public java.util.Enumeration originalSymbols()
public java.util.Enumeration translatedSymbols()
public CoopnSymbol translate(CoopnSyntacticSymbol original)
original
- the original symbolpublic CoopnSyntacticSymbol origin(CoopnSymbol parameter)
parameter
- the translated (coopn) symbolpublic java.lang.String toString()
toString
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
public boolean equals(java.lang.Object obj)
equals
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnEnvironmentalFrame
public java.lang.Object clone()
clone
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |