ConForM.CoopnTools.CoKer.CoalaMgr
Class CoalaModuleName

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
        |
        +--ConForM.CoopnTools.CoKer.CoalaMgr.CoalaModuleName
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable

public class CoalaModuleName
extends CoalaElement

Coala module name.

See Also:
CoalaElement, Serialized Form

Constructor Summary
CoalaModuleName(ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextModuleName name)
          Simple constructor.
CoalaModuleName(java.lang.String baseName)
          Build a simple module name.
 
Method Summary
 java.lang.String baseName()
           
 java.lang.Object clone()
          Cloning method.
 java.lang.String[] composedOf()
           
 boolean equals(java.lang.Object obj)
          Equality method.
static CoalaModuleName fromString(java.lang.String s, CoopnEnv env)
           
static CoalaModuleName fromTextName(ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextModuleName name)
           
 int hashCode()
          Hashcode method.
 ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextElement toCompleteText(CoopnSymbolTable table)
          Complete textual elements conversion method.
static java.lang.String toString(CoalaModuleName name)
           
 ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextElement toText()
          Textual elements conversion method.
static ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextModuleName toTextName(CoalaModuleName name)
           
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
cloneCoalaElement, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toString, toString, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CoalaModuleName

public CoalaModuleName(ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextModuleName name)
                throws java.lang.IllegalArgumentException
Simple constructor.

CoalaModuleName

public CoalaModuleName(java.lang.String baseName)
Build a simple module name.
Parameters:
baseName - the module name
Method Detail

fromTextName

public static CoalaModuleName fromTextName(ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextModuleName name)

fromString

public static CoalaModuleName fromString(java.lang.String s,
                                         CoopnEnv env)

baseName

public java.lang.String baseName()

equals

public boolean equals(java.lang.Object obj)
Description copied from class: CoalaElement
Equality method. Must be defined in the inherited classes.
Overrides:
equals in class CoalaElement
Following copied from class: ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.

hashCode

public int hashCode()
Description copied from class: CoalaElement
Hashcode method. Must be defined in the inherited classes.
Overrides:
hashCode in class CoalaElement
Following copied from class: ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
Returns:
the hash code.

toTextName

public static ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextModuleName toTextName(CoalaModuleName name)

toString

public static java.lang.String toString(CoalaModuleName name)

toText

public ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextElement toText()
Description copied from class: CoalaElement
Textual elements conversion method. Must be defined in the inherited classes. This routine converts an element into a user-friendly textual element representing it. The string interpretation of this element is very intuitive by a user, but may be incorrect in the sense that it may be rejected by a checker.
Overrides:
toText in class CoalaElement
Following copied from class: ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
Returns:
a CoopnTextElement image.

toCompleteText

public ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextElement toCompleteText(CoopnSymbolTable table)
Description copied from class: CoalaElement
Complete textual elements conversion method. Must be defined in the inherited classes. This routine converts an element into a correct textual element representing it. The string interpretation of this element will be accepted by a checker, but may be difficult to read by users, due to the additionnal information, like parenthesis and so on.
Overrides:
toCompleteText in class CoalaElement
Following copied from class: ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
Parameters:
table - the symbol table used to generate symbol references
Returns:
a CoopnTextElement image.

composedOf

public java.lang.String[] composedOf()

clone

public java.lang.Object clone()
Description copied from class: CoalaElement
Cloning method. Must be defined in the inherited classes.
Overrides:
clone in class CoalaElement
Following copied from class: ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
Returns:
a clone object.