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


Constructor Summary
protected ProtoClassCoopn(CoopnModule mod, CoopnMgr coopnMgr, JavaProtoEnv env, NameMapping map)
           
 
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
 

Constructor Detail

ProtoClassCoopn

protected ProtoClassCoopn(CoopnModule mod,
                          CoopnMgr coopnMgr,
                          JavaProtoEnv env,
                          NameMapping map)
Method Detail

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()