ConForM.CoopnTools.JavaProto
Class JavaProtoErrorMessage
java.lang.Object
|
+--ConForM.CoopnTools.JavaProto.JavaProtoErrorMessage
- public class JavaProtoErrorMessage
- extends java.lang.Object
Method Summary |
static JavaProtoErrorMessage |
createDifficultCond(CoopnCondition cond,
CoopnElement context,
CoopnModuleName module)
|
static JavaProtoErrorMessage |
createGeneratorAxiom(CoopnElement gen,
CoopnElement context,
CoopnModuleName module)
|
static JavaProtoErrorMessage |
createNoGenError(CoopnModuleName module)
|
static JavaProtoErrorMessage |
createOtherError(CoopnElement err,
CoopnModuleName module)
|
static JavaProtoErrorMessage |
createUnboundVar(CoopnVariableSymbol var,
CoopnElement context,
CoopnModuleName module)
|
static JavaProtoErrorMessage |
createUndefFunc(CoopnElement func,
CoopnElement context,
CoopnModuleName module)
|
static JavaProtoErrorMessage |
createUnimplementedFeature(CoopnElement feat,
CoopnElement context,
CoopnModuleName module)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
JavaProtoErrorMessage
protected JavaProtoErrorMessage(int id,
CoopnElement error,
CoopnElement context,
CoopnModuleName module)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
createUnboundVar
public static JavaProtoErrorMessage createUnboundVar(CoopnVariableSymbol var,
CoopnElement context,
CoopnModuleName module)
createDifficultCond
public static JavaProtoErrorMessage createDifficultCond(CoopnCondition cond,
CoopnElement context,
CoopnModuleName module)
createUnimplementedFeature
public static JavaProtoErrorMessage createUnimplementedFeature(CoopnElement feat,
CoopnElement context,
CoopnModuleName module)
createUndefFunc
public static JavaProtoErrorMessage createUndefFunc(CoopnElement func,
CoopnElement context,
CoopnModuleName module)
createGeneratorAxiom
public static JavaProtoErrorMessage createGeneratorAxiom(CoopnElement gen,
CoopnElement context,
CoopnModuleName module)
createNoGenError
public static JavaProtoErrorMessage createNoGenError(CoopnModuleName module)
createOtherError
public static JavaProtoErrorMessage createOtherError(CoopnElement err,
CoopnModuleName module)