|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.JavaProto.ProtoClass | +--ConForM.CoopnTools.JavaProto.ProtoClassFile | +--ConForM.CoopnTools.JavaProto.ProtoClassCoopn | +--ConForM.CoopnTools.JavaProto.CoopnContextProto
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 |
public void save() throws java.io.IOException
ProtoClassFile
save
in class ProtoClassFile
public void toJavaInvocation(CoopnSync call, java.lang.String T, java.util.Map map, java.util.ArrayList list) throws JavaProtoException
public java.lang.String toJavaInvocationObject(CoopnClassPortCohercion call)
public java.lang.String toJavaInvocationObject(CoopnContextPortCohercion call)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |