ConForM.CoopnTools.JavaProto
Class ProtoClassCoopn
java.lang.Object
|
+--ConForM.CoopnTools.JavaProto.ProtoClass
|
+--ConForM.CoopnTools.JavaProto.ProtoClassFile
|
+--ConForM.CoopnTools.JavaProto.ProtoClassCoopn
- Direct Known Subclasses:
- CoopnContextProto, CoopnPlacesProto
- public class ProtoClassCoopn
- extends ProtoClassFile
Method Summary |
void |
addImport(CoopnModuleName s)
|
void |
addImport(CoopnSymbol s)
|
void |
addImport(CoopnType s)
|
protected java.lang.String |
condition(CoopnCondition cond,
java.util.Map map)
|
protected java.lang.String |
createOp(CoopnTerm op)
|
int |
errorCount()
|
protected void |
errorMessage(JavaProtoErrorMessage msg)
|
java.util.Iterator |
errors()
|
protected java.lang.String |
genString(CoopnSyntacticRelationnalSymbol op)
|
java.lang.String |
getModuleName()
|
protected java.lang.String |
javaNameOf(CoopnEvent t)
|
protected java.lang.String |
javaNameOf(CoopnModule m)
|
protected java.lang.String |
javaNameOf(CoopnModuleName m)
|
protected java.lang.String |
javaNameOf(CoopnSymbol s)
|
protected java.lang.String |
javaNameOf(CoopnType t)
|
protected java.lang.String |
javaNameOf(java.lang.String s,
CoopnModuleName m)
|
protected java.lang.String |
javaPackageOf(CoopnModule s)
|
protected java.lang.String |
javaPackageOf(CoopnModuleName moduleName)
|
static java.lang.String |
javaPackageOf(CoopnModuleName moduleName,
PackageMgr mgr)
|
protected java.lang.String |
javaPackageOf(CoopnSymbol s)
|
protected java.lang.String |
javaPackageOf(CoopnType t)
|
protected java.lang.String |
javaPackageOf(java.lang.String moduleName)
|
static java.lang.String |
javaPackageOf(java.lang.String moduleName,
CoopnEnv env,
PackageMgr mgr)
|
protected void |
leftTerm0(CoopnTerm term,
java.lang.String name,
java.util.Map vars,
java.lang.StringBuffer cond)
|
protected void |
redefine(CoopnTerm term,
java.lang.String name,
java.util.Map vars)
|
protected java.lang.String |
rightTerm(CoopnTerm term,
java.util.Map vars)
recursively translates the right side of axiom
operations,generators -> corresponding java methods calls
variables -> expressions stored in axioms hashtable |
boolean |
update()
|
Methods inherited from class ConForM.CoopnTools.JavaProto.ProtoClassFile |
addExtend, addImplement, addImport, declareConstructor, declareField, declareMethod, delete, getFile, getName, getPackage, getPath, getPath, quote, save, setAttributes, setInterface, setName, setPackage, toString, write |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ProtoClassCoopn
protected ProtoClassCoopn(CoopnModule mod,
CoopnMgr coopnMgr,
JavaProtoEnv env,
NameMapping map)
javaNameOf
protected java.lang.String javaNameOf(java.lang.String s,
CoopnModuleName m)
javaNameOf
protected java.lang.String javaNameOf(CoopnModule m)
javaNameOf
protected java.lang.String javaNameOf(CoopnModuleName m)
javaNameOf
protected java.lang.String javaNameOf(CoopnSymbol s)
javaPackageOf
protected java.lang.String javaPackageOf(java.lang.String moduleName)
javaPackageOf
public static java.lang.String javaPackageOf(java.lang.String moduleName,
CoopnEnv env,
PackageMgr mgr)
javaPackageOf
protected java.lang.String javaPackageOf(CoopnModuleName moduleName)
javaPackageOf
public static java.lang.String javaPackageOf(CoopnModuleName moduleName,
PackageMgr mgr)
javaPackageOf
protected java.lang.String javaPackageOf(CoopnModule s)
javaPackageOf
protected java.lang.String javaPackageOf(CoopnSymbol s)
javaNameOf
protected java.lang.String javaNameOf(CoopnType t)
javaNameOf
protected java.lang.String javaNameOf(CoopnEvent t)
javaPackageOf
protected java.lang.String javaPackageOf(CoopnType t)
addImport
public void addImport(CoopnSymbol s)
addImport
public void addImport(CoopnModuleName s)
addImport
public void addImport(CoopnType s)
update
public boolean update()
throws java.io.IOException
getModuleName
public java.lang.String getModuleName()
leftTerm0
protected void leftTerm0(CoopnTerm term,
java.lang.String name,
java.util.Map vars,
java.lang.StringBuffer cond)
throws JavaProtoException
redefine
protected void redefine(CoopnTerm term,
java.lang.String name,
java.util.Map vars)
condition
protected java.lang.String condition(CoopnCondition cond,
java.util.Map map)
throws JavaProtoException
rightTerm
protected java.lang.String rightTerm(CoopnTerm term,
java.util.Map vars)
throws JavaProtoException
- recursively translates the right side of axiom
operations,generators -> corresponding java methods calls
variables -> expressions stored in axioms hashtable
createOp
protected java.lang.String createOp(CoopnTerm op)
genString
protected java.lang.String genString(CoopnSyntacticRelationnalSymbol op)
errorMessage
protected void errorMessage(JavaProtoErrorMessage msg)
errorCount
public int errorCount()
errors
public java.util.Iterator errors()