ConForM.CoopnTools.CoKer.SpecMgr
Class SpecBiRelationnalVariableSymbol
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.SpecMgr.SpecElement
|
+--ConForM.CoopnTools.CoKer.SpecMgr.SpecSymbol
|
+--ConForM.CoopnTools.CoKer.SpecMgr.SpecVariableSymbol
|
+--ConForM.CoopnTools.CoKer.SpecMgr.SpecBiRelationnalVariableSymbol
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticSymbol, java.io.Serializable
- public class SpecBiRelationnalVariableSymbol
- extends SpecVariableSymbol
Spec bi-relationnal variable symbols. Define a variable belonging to the
specification.
- See Also:
SpecElement
, Serialized Form
Constructor Summary |
SpecBiRelationnalVariableSymbol(java.lang.String variable,
java.lang.String symbolModule,
java.lang.String type,
java.lang.String originType)
Simple constructor. |
SpecBiRelationnalVariableSymbol(java.lang.String variable,
java.lang.String symbolModule,
java.lang.String type,
java.lang.String originType,
java.lang.String comment)
Simple constructor. |
Method Summary |
boolean |
equals(java.lang.Object obj)
Equality method. |
java.lang.String |
kind()
Kind retrieving method. |
java.lang.String |
originType()
Return the origin type. |
int |
paramNumber()
Get the number of parameters. |
java.lang.String |
toString(CoopnEnv env,
int indent)
String conversion method. |
java.lang.String |
type()
Return the type. |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
SpecBiRelationnalVariableSymbol
public SpecBiRelationnalVariableSymbol(java.lang.String variable,
java.lang.String symbolModule,
java.lang.String type,
java.lang.String originType,
java.lang.String comment)
- Simple constructor.
- Parameters:
variable
- the variable namesymbolModule
- the definitin moduletype
- the associated typeoriginType
- the associated origin typecomment
- the associated comment
SpecBiRelationnalVariableSymbol
public SpecBiRelationnalVariableSymbol(java.lang.String variable,
java.lang.String symbolModule,
java.lang.String type,
java.lang.String originType)
- Simple constructor.
- Parameters:
variable
- the variable namesymbolModule
- the definition moduletype
- the associated typeoriginType
- the associated origin type
type
public java.lang.String type()
- Return the type.
- Returns:
- the type
originType
public java.lang.String originType()
- Return the origin type.
- Returns:
- the origin type
kind
public java.lang.String kind()
- Description copied from interface:
CoopnSyntacticSymbol
- Kind retrieving method. This method must be defined in the inherited
classes for returning a string allowing the user to know what kind of
symbol this is.
- Overrides:
kind
in class SpecVariableSymbol
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticSymbol
- Returns:
- a string defining the symbol kind.
paramNumber
public int paramNumber()
- Get the number of parameters. Must be defined in the inherited classes.
- Returns:
- an integer, the actual number of parameter.
equals
public boolean equals(java.lang.Object obj)
- Description copied from interface:
CoopnSyntacticElement
- Equality method. Must be defined in the inherited classes.
- Overrides:
equals
in class SpecVariableSymbol
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
- Parameters:
obj
- the object to compare- Returns:
- true iff this object and the parameter are equals.
toString
public java.lang.String toString(CoopnEnv env,
int indent)
- Description copied from interface:
CoopnSyntacticElement
- String conversion method. This
routine converts an element into a string representing it.
The string representation is intended to be readable from users.
The string representation is not required to include the comments
associated to the element, if any.
- Overrides:
toString
in class SpecVariableSymbol
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
- Parameters:
env
- the environment deciding the form of the display. A null
values indicates a default form.indent
- the identation factor. A zero value indicates no
indentation at all.- Returns:
- a String image of the element.