ConForM.CoopnTools.JavaProto
Class CoopnPlacesProto
java.lang.Object
|
+--ConForM.CoopnTools.JavaProto.ProtoClass
|
+--ConForM.CoopnTools.JavaProto.ProtoClassFile
|
+--ConForM.CoopnTools.JavaProto.ProtoClassCoopn
|
+--ConForM.CoopnTools.JavaProto.CoopnPlacesProto
- public class CoopnPlacesProto
- extends ProtoClassCoopn
Methods inherited from class ConForM.CoopnTools.JavaProto.ProtoClassCoopn |
addImport, addImport, addImport, condition, createOp, errorCount, errorMessage, errors, genString, getModuleName, javaNameOf, javaNameOf, javaNameOf, javaNameOf, javaNameOf, javaNameOf, javaPackageOf, javaPackageOf, javaPackageOf, javaPackageOf, javaPackageOf, javaPackageOf, javaPackageOf, leftTerm0, redefine, rightTerm, update |
Methods inherited from class ConForM.CoopnTools.JavaProto.ProtoClassFile |
addExtend, addImplement, addImport, declareConstructor, declareField, declareMethod, delete, getFile, getName, getPackage, getPath, getPath, quote, setAttributes, setInterface, setName, setPackage, toString, write |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
save
public void save()
throws java.io.IOException
- Description copied from class:
ProtoClassFile
- Saves the text of composed class in a file.
- Overrides:
save
in class ProtoClassFile
initial
public void initial(CoopnInitialSymbol init)
place
public void place(CoopnPlaceSymbol place)
getIterator
public java.lang.String getIterator(CoopnClassAxiomSymbol axiom,
java.lang.String state)
getConstant
public java.lang.String getConstant(CoopnPlaceSymbol place)
axiom
public void axiom(CoopnClassAxiomSymbol ax)
interfaceMethod
public void interfaceMethod(CoopnClassMethodSymbol method)
bodyMethod
public void bodyMethod(CoopnClassMethodSymbol method)
method
public void method(CoopnClassMethodSymbol method,
boolean isPublic)