|
|||||||||
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.CoopnHeader
Coopn header.
CoopnSection
, Serialized FormField Summary | |
static int |
ABSTRACT
|
static int |
GENERIC
|
static int |
NORMAL
|
static int |
PARAMETER
|
Constructor Summary | |
CoopnHeader(CoopnModuleName name,
CoopnModuleNameList formalParams,
CoopnModuleName as,
int status)
Simple constructor. |
|
CoopnHeader(CoopnModuleName name,
CoopnModuleNameList formalParams,
CoopnModuleName as,
int status,
CoopnRealMorphism realMorphism)
Simple constructor. |
Method Summary | |
void |
addMorphisms(CoopnMorphismField list)
|
void |
addRenames(CoopnRenameField list)
|
CoopnModuleName |
as()
|
java.lang.String |
basedUpon()
Get the module upon which this section is based. |
int |
basedUponKind()
Get the module kind (in the sense of the package manager) of the module upon which this section is based, for instance COOPNSOURCE, COALASOURCE, PACKAGE, and so on). |
java.lang.Object |
clone()
Cloning method. |
java.lang.String |
completeKindString(java.lang.String kind,
CoopnEnv env)
|
boolean |
equals(java.lang.Object obj)
Equality method. |
CoopnSyntacticField[] |
fields()
Get the fields of this section. |
CoopnModuleNameList |
formalParams()
|
boolean |
hasAs()
|
boolean |
hasBasedUpon()
Test if this section is based upon another module. |
boolean |
hasFormalParams()
|
int |
hashCode()
Hashcode method. |
boolean |
hasRealMorphism()
|
java.lang.String |
headerCompleteString(java.lang.String kind)
|
java.lang.String |
headerCompleteString(java.lang.String kind,
CoopnEnv env)
|
java.lang.String |
headerString(java.lang.String kind)
|
java.lang.String |
headerString(java.lang.String kind,
CoopnEnv env)
|
CoopnElement |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
boolean |
isAbstract()
|
java.lang.String |
kind()
Kind retrieving method. |
CoopnMorphismField |
morphisms()
|
CoopnModuleName |
name()
|
java.lang.String |
paramString(CoopnEnv env)
|
CoopnRealMorphism |
realMorphism()
|
CoopnRenameField |
renames()
|
int |
status()
|
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. |
static boolean |
validStatus(int status)
|
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement |
cloneCoopnElement, pureCOIL, pureCOOPN, 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 |
toCompleteString, toCompleteString, toCompleteString, toString, toString, toString |
Field Detail |
public static final int NORMAL
public static final int GENERIC
public static final int PARAMETER
public static final int ABSTRACT
Constructor Detail |
public CoopnHeader(CoopnModuleName name, CoopnModuleNameList formalParams, CoopnModuleName as, int status)
public CoopnHeader(CoopnModuleName name, CoopnModuleNameList formalParams, CoopnModuleName as, int status, CoopnRealMorphism realMorphism)
Method Detail |
public static boolean validStatus(int status)
public CoopnElement interpret(CoopnSubstitution sigma)
CoopnElement
interpret
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
sigma
- the substitution; cannot be nullpublic java.lang.String kind()
CoopnSyntacticSection
kind
in interface CoopnSyntacticSection
kind
in class CoopnSection
ConForM.CoopnTools.CoKer.CoopnSyntacticSection
public CoopnSyntacticField[] fields()
CoopnSyntacticSection
fields
in interface CoopnSyntacticSection
fields
in class CoopnSection
ConForM.CoopnTools.CoKer.CoopnSyntacticSection
public boolean hasBasedUpon()
hasBasedUpon
in interface CoopnSyntacticHeaderSection
public java.lang.String basedUpon()
basedUpon
in interface CoopnSyntacticHeaderSection
public int basedUponKind()
basedUponKind
in interface CoopnSyntacticHeaderSection
public CoopnModuleName name()
public CoopnModuleNameList formalParams()
public CoopnModuleName as()
public int status()
public boolean hasFormalParams()
public boolean hasAs()
public boolean isAbstract()
public boolean hasRealMorphism()
public CoopnRealMorphism realMorphism()
public CoopnMorphismField morphisms()
public CoopnRenameField renames()
public void addMorphisms(CoopnMorphismField list)
public void addRenames(CoopnRenameField list)
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 ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toText()
CoopnElement
toText
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toCompleteText(CoopnSymbolTable table)
CoopnElement
toCompleteText
in class CoopnElement
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
table
- the symbol table used to generate symbol referencespublic java.lang.String completeKindString(java.lang.String kind, CoopnEnv env)
public java.lang.String paramString(CoopnEnv env)
public java.lang.String headerString(java.lang.String kind, CoopnEnv env)
public java.lang.String headerString(java.lang.String kind)
public java.lang.String headerCompleteString(java.lang.String kind, CoopnEnv env)
public java.lang.String headerCompleteString(java.lang.String kind)
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table)
CoopnElement
toCoco
in class CoopnElement
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 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 |