ConForM.CoopnTools.JavaProto
Class CoopnContextProto

java.lang.Object
  |
  +--ConForM.CoopnTools.JavaProto.ProtoClass
        |
        +--ConForM.CoopnTools.JavaProto.ProtoClassFile
              |
              +--ConForM.CoopnTools.JavaProto.ProtoClassCoopn
                    |
                    +--ConForM.CoopnTools.JavaProto.CoopnContextProto

public class CoopnContextProto
extends ProtoClassCoopn


Method Summary
 void save()
          Saves the text of composed class in a file.
 void toJavaInvocation(CoopnSync call, java.lang.String T, java.util.Map map, java.util.ArrayList list)
           
 java.lang.String toJavaInvocationObject(CoopnClassPortCohercion call)
           
 java.lang.String toJavaInvocationObject(CoopnContextPortCohercion call)
           
 
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

toJavaInvocation

public void toJavaInvocation(CoopnSync call,
                             java.lang.String T,
                             java.util.Map map,
                             java.util.ArrayList list)
                      throws JavaProtoException

toJavaInvocationObject

public java.lang.String toJavaInvocationObject(CoopnClassPortCohercion call)

toJavaInvocationObject

public java.lang.String toJavaInvocationObject(CoopnContextPortCohercion call)