ConForM.CoopnTools.CoKer
Interface CoopnSyntacticPrivateSection

All Superinterfaces:
java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticSection, java.io.Serializable
All Known Implementing Classes:
CoalaCaaBody, ConstraintsBody, CoopnAdtBody, CoopnClassBody, CoopnContextBody, PackageModuleSection, SpecBehaviourSection, SpecModuleSection, SpecVariableSection

public interface CoopnSyntacticPrivateSection
extends CoopnSyntacticSection

Coopn syntactic elements. This abstract class defines basic private sections of the various abstract syntaxes used by CoopnTools. Private sections are those the symbols of which are NOT visible in the modules "using" this one. They are called "body sections" in CO-OPN.


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