ConForM.CoopnTools.CoKer
Interface CoopnSyntacticHeaderSection

All Superinterfaces:
java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticSection, java.io.Serializable
All Known Implementing Classes:
CoalaHeader, CoopnHeader, CoopnInherit, PackageHeader, SpecHeader

public interface CoopnSyntacticHeaderSection
extends CoopnSyntacticSection

Coopn syntactic elements. This abstract class defines basic header sections of the various abstract syntaxes used by CoopnTools. Header sections are used to build the structure of a module. An header section can be based upon another module, which means that the current module is built (by "text-processing") upon the other one, using a mechanism specified in this section. Typical CO-OPN header sections are the CO-OPN "header" and the CO-OPN "inherit sections".


Method Summary
 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).
 boolean hasBasedUpon()
          Test if this section is based upon another module.
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticSection
fields, kind
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement
clone, equals, hashCode, toCompleteString, toCompleteString, toCompleteString, toString, toString, toString
 

Method Detail

hasBasedUpon

public boolean hasBasedUpon()
Test if this section is based upon another module.
Returns:
true iff this section is based upon anither module.

basedUpon

public java.lang.String basedUpon()
Get the module upon which this section is based.
Returns:
The name of the module upon which this section is based, or null.

basedUponKind

public 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).
Returns:
the module kind of the module upon which this section is based, iff this section is based upon a module; a meaningless value else.