ConForM.CoopnTools.CoKer
Interface CoopnSyntacticUseSymbol

All Superinterfaces:
java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticSymbol, java.io.Serializable
All Known Implementing Classes:
CoalaUseCaaSymbol, CoalaUseSymbol, CoopnUseContextSymbol, CoopnUseSymbol, PackageUseSymbol, SpecSourceSymbol

public interface CoopnSyntacticUseSymbol
extends CoopnSyntacticSymbol

Coopn syntactic use symbol. This interface defines use symbols of the various abstract syntaxes used by CoopnTools. Use symbols denote symbols the role of which is to "import" the symbols defined in the public sections of the asssociated modules.


Method Summary
 int usedModuleKind()
          Get the kind of the used modules, in the sense of the package manager (for instance, COOPNSOURCE, COALA, PACKAGE and so on).
 java.lang.String[] uses()
          Get the use modules.
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticSymbol
comment, identifier, kind, symbolModule, symbolModuleKind, symbolName
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement
clone, equals, hashCode, toCompleteString, toCompleteString, toCompleteString, toString, toString, toString
 

Method Detail

usedModuleKind

public int usedModuleKind()
Get the kind of the used modules, in the sense of the package manager (for instance, COOPNSOURCE, COALA, PACKAGE and so on).

uses

public java.lang.String[] uses()
Get the use modules. Must be defined in the inherited classes.
Returns:
an array of String denoting the used modules.