ConForM.CoopnTools.JavaProto
Class JavaProtoErrorMessage

java.lang.Object
  |
  +--ConForM.CoopnTools.JavaProto.JavaProtoErrorMessage

public class JavaProtoErrorMessage
extends java.lang.Object


Constructor Summary
protected JavaProtoErrorMessage(int id, CoopnElement error, CoopnElement context, CoopnModuleName module)
           
 
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
 

Constructor Detail

JavaProtoErrorMessage

protected JavaProtoErrorMessage(int id,
                                CoopnElement error,
                                CoopnElement context,
                                CoopnModuleName module)
Method Detail

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)