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


Method Summary
 void axiom(CoopnClassAxiomSymbol ax)
           
 void bodyMethod(CoopnClassMethodSymbol method)
           
 java.lang.String getConstant(CoopnPlaceSymbol place)
           
 java.lang.String getIterator(CoopnClassAxiomSymbol axiom, java.lang.String state)
           
 void initial(CoopnInitialSymbol init)
           
 void interfaceMethod(CoopnClassMethodSymbol method)
           
 void method(CoopnClassMethodSymbol method, boolean isPublic)
           
 void place(CoopnPlaceSymbol place)
           
 void save()
          Saves the text of composed class in a file.
 
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
 

Method Detail

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)