|
|||||||||
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.CoopnSection | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextInterface | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextBody
Coopn Context body.
CoopnSection
, Serialized FormConstructor Summary | |
CoopnContextBody()
Simple constructor. |
Method Summary | |
void |
addAxioms(CoopnContextAxiomField list)
|
void |
addObjects(CoopnObjectField list)
|
void |
addTheorems(CoopnContextTheoremField list)
|
void |
addUseContexts(CoopnUseContextField list)
|
void |
addVariables(CoopnVariableField list)
|
CoopnContextAxiomField |
axioms()
|
java.lang.Object |
clone()
Cloning method. |
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement |
createCocoElement()
|
protected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
createTextElement()
|
boolean |
equals(java.lang.Object obj)
Equality method. |
CoopnSyntacticField[] |
fields()
Get the fields of this section. |
CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
java.lang.String |
kind()
Kind retrieving method. |
CoopnObjectField |
objects()
|
boolean |
pureCOIL()
Pure COIL-COOPN2C verification method. |
boolean |
pureCOOPN()
Pure COOPN verification method. |
CoopnContextTheoremField |
theorems()
|
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement |
toCoco(CoopnSymbolTable table)
CoCo conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toCompleteText(CoopnSymbolTable table)
Complete textual elements conversion method. |
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement |
toText()
Textual elements conversion method. |
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
CoopnUseContextField |
useContexts()
|
CoopnVariableField |
variables()
|
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextInterface |
addGates, addMethods, addSubsorts, addSubtypes, addUses, gates, hashCode, methods, subsorts, subtypes, uses |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement |
cloneCoopnElement, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toTokens, toTokens, toTokens |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement |
hashCode, toCompleteString, toCompleteString, toCompleteString, toString, toString, toString |
Constructor Detail |
public CoopnContextBody()
Method Detail |
public CoopnElement interpret(CoopnSubstitution sigma)
CoopnElement
interpret
in class CoopnContextInterface
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
sigma
- the substitution; cannot be nullpublic boolean pureCOOPN()
CoopnElement
pureCOOPN
in class CoopnContextInterface
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public boolean pureCOIL()
CoopnElement
pureCOIL
in class CoopnContextInterface
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public java.lang.String kind()
CoopnSyntacticSection
kind
in interface CoopnSyntacticSection
kind
in class CoopnContextInterface
ConForM.CoopnTools.CoKer.CoopnSyntacticSection
public CoopnSyntacticField[] fields()
CoopnSyntacticSection
fields
in interface CoopnSyntacticSection
fields
in class CoopnContextInterface
ConForM.CoopnTools.CoKer.CoopnSyntacticSection
public CoopnUseContextField useContexts()
public CoopnObjectField objects()
public CoopnContextAxiomField axioms()
public CoopnContextTheoremField theorems()
public CoopnVariableField variables()
public void addUseContexts(CoopnUseContextField list)
public void addObjects(CoopnObjectField list)
public void addAxioms(CoopnContextAxiomField list)
public void addTheorems(CoopnContextTheoremField list)
public void addVariables(CoopnVariableField list)
public boolean equals(java.lang.Object obj)
CoopnSyntacticElement
equals
in interface CoopnSyntacticElement
equals
in class CoopnContextInterface
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
obj
- the object to compareprotected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement createTextElement()
createTextElement
in class CoopnContextInterface
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toText()
CoopnElement
toText
in class CoopnContextInterface
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toCompleteText(CoopnSymbolTable table)
CoopnElement
toCompleteText
in class CoopnContextInterface
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
table
- the symbol table used to generate symbol referencesprotected ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement createCocoElement()
createCocoElement
in class CoopnContextInterface
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table) throws java.lang.IllegalArgumentException
CoopnElement
toCoco
in class CoopnContextInterface
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
origin
- the module which generated the Coco conversiontable
- the symbol table used to generate symbol referencesjava.lang.IllegalArgumentException
- A used symbol is not in the symbol table.public java.lang.Object unmodifiableCopy()
CoopnElement
unmodifiableCopy
in class CoopnContextInterface
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public java.lang.Object clone()
CoopnSyntacticElement
clone
in interface CoopnSyntacticElement
clone
in class CoopnContextInterface
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |