|
|||||||||
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.CoopnSituationFrame | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSituation
Coopn situation. A coopn situation is used to interpret co-opn source text. It gives a CoopnFrame. The situation is described as a position (interface/body) inside a module, or as a position outside every main modules (contained in env.names).
Fields inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame |
centralMgr, env, mgr, modules |
Constructor Summary | |
|
CoopnSituation(CoopnMgr mgr,
CoopnEnv env)
Creates a new situation external to every modules in the environment. |
protected |
CoopnSituation(java.lang.String[] modules,
CoopnMgr mgr,
CoopnEnv env)
Creates a new situation external to a list of modules. |
|
CoopnSituation(java.lang.String module,
boolean external,
CoopnMgr mgr,
CoopnEnv env)
Creates a new situation internal to one module. |
Method Summary | |
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. |
CoopnSortSymbol[] |
sorts()
|
java.lang.String |
toString()
|
CoopnTypeSymbol[] |
types()
|
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 ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame |
cloneCoopnSituationFrame, coreToString, hashCode, objects |
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 CoopnSituation(CoopnMgr mgr, CoopnEnv env)
mgr
- the coopn manager to useenv
- the environmentprotected CoopnSituation(java.lang.String[] modules, CoopnMgr mgr, CoopnEnv env)
modules
- the list of modulesmgr
- the coopn manager to useenv
- the environmentpublic CoopnSituation(java.lang.String module, boolean external, CoopnMgr mgr, CoopnEnv env)
module
- the name of the moduleexternal
- true iff interpretation frame is inside the
interface of the module (false iff inside body)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.CoopnSituationFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnModuleDependency
public CoopnSortSymbol[] sorts()
sorts
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
public CoopnTypeSymbol[] types()
types
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
public boolean equ(CoopnTypeAgg left, CoopnTypeAgg right)
CoopnTypeRelation
equ
in interface CoopnTypeRelation
equ
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
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.CoopnSituationFrame
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.CoopnSituationFrame
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.CoopnSituationFrame
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.CoopnSituationFrame
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.CoopnSituationFrame
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.CoopnSituationFrame
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.CoopnSituationFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
left
- the first typeright
- the second typepublic java.lang.String toString()
toString
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
public boolean equals(java.lang.Object obj)
equals
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
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 |