Constant Field Values

ca.mcscert.*

ca.mcscert.jpipe.compiler.CompilationConfig

Modifier and Type	Constant Field	Value
public static final String	STDIN	"<stdin>"
public static final String	STDOUT	"<stdout>"

ca.mcscert.jpipe.compiler.model.CompilationContext

Modifier and Type	Constant Field	Value
public static final String	STAT_COMMANDS_DEFERRALS	"commands.deferrals"
public static final String	STAT_COMMANDS_MACROS	"commands.macros"
public static final String	STAT_COMMANDS_TOTAL	"commands.total"

ca.mcscert.jpipe.compiler.model.Diagnostic

Modifier and Type	Constant Field	Value
public static final int	UNKNOWN_LOCATION	0

ca.mcscert.jpipe.compiler.model.DiagnosticCodes

Modifier and Type	Constant Field	Value
public static final String	CYCLIC_IMPLEMENTS	"[cyclic-implements]"
public static final String	EXECUTION_ERROR	"[execution-error]"
public static final String	IMPLEMENTS_ERROR	"[implements-error]"
public static final String	INVALID_SUPPORT	"[invalid-support]"
public static final String	SINGLE_CONCLUSION	"[single-conclusion]"
public static final String	UNKNOWN_ELEMENT	"[unknown-element]"
public static final String	UNKNOWN_MODEL	"[unknown-model]"
public static final String	UNRESOLVED_OVERRIDE	"[unresolved-override]"
public static final String	UNRESOLVED_SYMBOL	"[unresolved-symbol]"

ca.mcscert.jpipe.lang.JPipeLexer

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0004\u0000\u0019\u00fd\u0006\uffff\uffff\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0002\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0002\u000b\u0007\u000b\u0002\f\u0007\f\u0002\r\u0007\r\u0002\u000e\u0007\u000e\u0002\u000f\u0007\u000f\u0002\u0010\u0007\u0010\u0002\u0011\u0007\u0011\u0002\u0012\u0007\u0012\u0002\u0013\u0007\u0013\u0002\u0014\u0007\u0014\u0002\u0015\u0007\u0015\u0002\u0016\u0007\u0016\u0002\u0017\u0007\u0017\u0002\u0018\u0007\u0018\u0002\u0019\u0007\u0019\u0002\u001a\u0007\u001a\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\t\u0001\t\u0001\t\u0001\t\u0001\t\u0001\t\u0001\t\u0001\t\u0001\t\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\u000b\u0001\u000b\u0001\u000b\u0001\f\u0004\f\u00a4\b\f\u000b\f\f\f\u00a5\u0001\f\u0001\f\u0001\r\u0003\r\u00ab\b\r\u0001\r\u0001\r\u0004\r\u00af\b\r\u000b\r\f\r\u00b0\u0001\r\u0001\r\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0005\u000e\u00b9\b\u000e\n\u000e\f\u000e\u00bc\t\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000f\u0001\u000f\u0001\u000f\u0001\u000f\u0005\u000f\u00c7\b\u000f\n\u000f\f\u000f\u00ca\t\u000f\u0001\u000f\u0001\u000f\u0001\u0010\u0004\u0010\u00cf\b\u0010\u000b\u0010\f\u0010\u00d0\u0001\u0011\u0001\u0011\u0005\u0011\u00d5\b\u0011\n\u0011\f\u0011\u00d8\t\u0011\u0001\u0012\u0001\u0012\u0005\u0012\u00dc\b\u0012\n\u0012\f\u0012\u00df\t\u0012\u0001\u0012\u0001\u0012\u0001\u0012\u0005\u0012\u00e4\b\u0012\n\u0012\f\u0012\u00e7\t\u0012\u0001\u0012\u0003\u0012\u00ea\b\u0012\u0001\u0013\u0001\u0013\u0001\u0014\u0001\u0014\u0001\u0015\u0001\u0015\u0001\u0016\u0001\u0016\u0001\u0017\u0001\u0017\u0001\u0018\u0001\u0018\u0001\u0019\u0001\u0019\u0001\u001a\u0001\u001a\u0001\u001a\u0001\u001a\u0001\u00ba\u0000\u001b\u0001\u0001\u0003\u0002\u0005\u0003\u0007\u0004\t\u0005\u000b\u0006\r\u0007\u000f\b\u0011\t\u0013\n\u0015\u000b\u0017\f\u0019\r\u001b\u000e\u001d\u000f\u001f\u0010!\u0000#\u0011%\u0012\'\u0013)\u0014+\u0015-\u0016/\u00171\u00183\u00005\u0019\u0001\u0000\u0005\u0002\u0000\t\t \u0002\u0000\n\n\r\r\u0001\u000009\u0003\u0000AZ__az\u0004\u000009AZ__az\u0105\u0000\u0001\u0001\u0000\u0000\u0000\u0000\u0003\u0001\u0000\u0000\u0000\u0000\u0005\u0001\u0000\u0000\u0000\u0000\u0007\u0001\u0000\u0000\u0000\u0000\t\u0001\u0000\u0000\u0000\u0000\u000b\u0001\u0000\u0000\u0000\u0000\r\u0001\u0000\u0000\u0000\u0000\u000f\u0001\u0000\u0000\u0000\u0000\u0011\u0001\u0000\u0000\u0000\u0000\u0013\u0001\u0000\u0000\u0000\u0000\u0015\u0001\u0000\u0000\u0000\u0000\u0017\u0001\u0000\u0000\u0000\u0000\u0019\u0001\u0000\u0000\u0000\u0000\u001b\u0001\u0000\u0000\u0000\u0000\u001d\u0001\u0000\u0000\u0000\u0000\u001f\u0001\u0000\u0000\u0000\u0000#\u0001\u0000\u0000\u0000\u0000%\u0001\u0000\u0000\u0000\u0000\'\u0001\u0000\u0000\u0000\u0000)\u0001\u0000\u0000\u0000\u0000+\u0001\u0000\u0000\u0000\u0000-\u0001\u0000\u0000\u0000\u0000/\u0001\u0000\u0000\u0000\u00001\u0001\u0000\u0000\u0000\u00005\u0001\u0000\u0000\u0000\u00017\u0001\u0000\u0000\u0000\u0003E\u0001\u0000\u0000\u0000\u0005P\u0001\u0000\u0000\u0000\u0007S\u0001\u0000\u0000\u0000\t\\\u0001\u0000\u0000\u0000\u000be\u0001\u0000\u0000\u0000\rt\u0001\u0000\u0000\u0000\u000f\u007f\u0001\u0000\u0000\u0000\u0011\u0088\u0001\u0000\u0000\u0000\u0013\u0091\u0001\u0000\u0000\u0000\u0015\u009a\u0001\u0000\u0000\u0000\u0017\u009f\u0001\u0000\u0000\u0000\u0019\u00a3\u0001\u0000\u0000\u0000\u001b\u00ae\u0001\u0000\u0000\u0000\u001d\u00b4\u0001\u0000\u0000\u0000\u001f\u00c2\u0001\u0000\u0000\u0000!\u00ce\u0001\u0000\u0000\u0000#\u00d2\u0001\u0000\u0000\u0000%\u00e9\u0001\u0000\u0000\u0000\'\u00eb\u0001\u0000\u0000\u0000)\u00ed\u0001\u0000\u0000\u0000+\u00ef\u0001\u0000\u0000\u0000-\u00f1\u0001\u0000\u0000\u0000/\u00f3\u0001\u0000\u0000\u00001\u00f5\u0001\u0000\u0000\u00003\u00f7\u0001\u0000\u0000\u00005\u00f9\u0001\u0000\u0000\u000078\u0005j\u0000\u000089\u0005u\u0000\u00009:\u0005s\u0000\u0000:;\u0005t\u0000\u0000;<\u0005i\u0000\u0000<=\u0005f\u0000\u0000=>\u0005i\u0000\u0000>?\u0005c\u0000\u0000?@\u0005a\u0000\u0000@A\u0005t\u0000\u0000AB\u0005i\u0000\u0000BC\u0005o\u0000\u0000CD\u0005n\u0000\u0000D\u0002\u0001\u0000\u0000\u0000EF\u0005i\u0000\u0000FG\u0005m\u0000\u0000GH\u0005p\u0000\u0000HI\u0005l\u0000\u0000IJ\u0005e\u0000\u0000JK\u0005m\u0000\u0000KL\u0005e\u0000\u0000LM\u0005n\u0000\u0000MN\u0005t\u0000\u0000NO\u0005s\u0000\u0000O\u0004\u0001\u0000\u0000\u0000PQ\u0005i\u0000\u0000QR\u0005s\u0000\u0000R\u0006\u0001\u0000\u0000\u0000ST\u0005e\u0000\u0000TU\u0005v\u0000\u0000UV\u0005i\u0000\u0000VW\u0005d\u0000\u0000WX\u0005e\u0000\u0000XY\u0005n\u0000\u0000YZ\u0005c\u0000\u0000Z[\u0005e\u0000\u0000[\b\u0001\u0000\u0000\u0000\\]\u0005s\u0000\u0000]^\u0005t\u0000\u0000^_\u0005r\u0000\u0000_`\u0005a\u0000\u0000`a\u0005t\u0000\u0000ab\u0005e\u0000\u0000bc\u0005g\u0000\u0000cd\u0005y\u0000\u0000d\n\u0001\u0000\u0000\u0000ef\u0005s\u0000\u0000fg\u0005u\u0000\u0000gh\u0005b\u0000\u0000hi\u0005-\u0000\u0000ij\u0005c\u0000\u0000jk\u0005o\u0000\u0000kl\u0005n\u0000\u0000lm\u0005c\u0000\u0000mn\u0005l\u0000\u0000no\u0005u\u0000\u0000op\u0005s\u0000\u0000pq\u0005i\u0000\u0000qr\u0005o\u0000\u0000rs\u0005n\u0000\u0000s\f\u0001\u0000\u0000\u0000tu\u0005c\u0000\u0000uv\u0005o\u0000\u0000vw\u0005n\u0000\u0000wx\u0005c\u0000\u0000xy\u0005l\u0000\u0000yz\u0005u\u0000\u0000z{\u0005s\u0000\u0000{|\u0005i\u0000\u0000|}\u0005o\u0000\u0000}~\u0005n\u0000\u0000~\u000e\u0001\u0000\u0000\u0000\u007f\u0080\u0005t\u0000\u0000\u0080\u0081\u0005e\u0000\u0000\u0081\u0082\u0005m\u0000\u0000\u0082\u0083\u0005p\u0000\u0000\u0083\u0084\u0005l\u0000\u0000\u0084\u0085\u0005a\u0000\u0000\u0085\u0086\u0005t\u0000\u0000\u0086\u0087\u0005e\u0000\u0000\u0087\u0010\u0001\u0000\u0000\u0000\u0088\u0089\u0005@\u0000\u0000\u0089\u008a\u0005s\u0000\u0000\u008a\u008b\u0005u\u0000\u0000\u008b\u008c\u0005p\u0000\u0000\u008c\u008d\u0005p\u0000\u0000\u008d\u008e\u0005o\u0000\u0000\u008e\u008f\u0005r\u0000\u0000\u008f\u0090\u0005t\u0000\u0000\u0090\u0012\u0001\u0000\u0000\u0000\u0091\u0092\u0005s\u0000\u0000\u0092\u0093\u0005u\u0000\u0000\u0093\u0094\u0005p\u0000\u0000\u0094\u0095\u0005p\u0000\u0000\u0095\u0096\u0005o\u0000\u0000\u0096\u0097\u0005r\u0000\u0000\u0097\u0098\u0005t\u0000\u0000\u0098\u0099\u0005s\u0000\u0000\u0099\u0014\u0001\u0000\u0000\u0000\u009a\u009b\u0005l\u0000\u0000\u009b\u009c\u0005o\u0000\u0000\u009c\u009d\u0005a\u0000\u0000\u009d\u009e\u0005d\u0000\u0000\u009e\u0016\u0001\u0000\u0000\u0000\u009f\u00a0\u0005a\u0000\u0000\u00a0\u00a1\u0005s\u0000\u0000\u00a1\u0018\u0001\u0000\u0000\u0000\u00a2\u00a4\u0007\u0000\u0000\u0000\u00a3\u00a2\u0001\u0000\u0000\u0000\u00a4\u00a5\u0001\u0000\u0000\u0000\u00a5\u00a3\u0001\u0000\u0000\u0000\u00a5\u00a6\u0001\u0000\u0000\u0000\u00a6\u00a7\u0001\u0000\u0000\u0000\u00a7\u00a8\u0006\f\u0000\u0000\u00a8\u001a\u0001\u0000\u0000\u0000\u00a9\u00ab\u0005\r\u0000\u0000\u00aa\u00a9\u0001\u0000\u0000\u0000\u00aa\u00ab\u0001\u0000\u0000\u0000\u00ab\u00ac\u0001\u0000\u0000\u0000\u00ac\u00af\u0005\n\u0000\u0000\u00ad\u00af\u0005\r\u0000\u0000\u00ae\u00aa\u0001\u0000\u0000\u0000\u00ae\u00ad\u0001\u0000\u0000\u0000\u00af\u00b0\u0001\u0000\u0000\u0000\u00b0\u00ae\u0001\u0000\u0000\u0000\u00b0\u00b1\u0001\u0000\u0000\u0000\u00b1\u00b2\u0001\u0000\u0000\u0000\u00b2\u00b3\u0006\r\u0000\u0000\u00b3\u001c\u0001\u0000\u0000\u0000\u00b4\u00b5\u0005/\u0000\u0000\u00b5\u00b6\u0005*\u0000\u0000\u00b6\u00ba\u0001\u0000\u0000\u0000\u00b7\u00b9\t\u0000\u0000\u0000\u00b8\u00b7\u0001\u0000\u0000\u0000\u00b9\u00bc\u0001\u0000\u0000\u0000\u00ba\u00bb\u0001\u0000\u0000\u0000\u00ba\u00b8\u0001\u0000\u0000\u0000\u00bb\u00bd\u0001\u0000\u0000\u0000\u00bc\u00ba\u0001\u0000\u0000\u0000\u00bd\u00be\u0005*\u0000\u0000\u00be\u00bf\u0005/\u0000\u0000\u00bf\u00c0\u0001\u0000\u0000\u0000\u00c0\u00c1\u0006\u000e\u0000\u0000\u00c1\u001e\u0001\u0000\u0000\u0000\u00c2\u00c3\u0005/\u0000\u0000\u00c3\u00c4\u0005/\u0000\u0000\u00c4\u00c8\u0001\u0000\u0000\u0000\u00c5\u00c7\b\u0001\u0000\u0000\u00c6\u00c5\u0001\u0000\u0000\u0000\u00c7\u00ca\u0001\u0000\u0000\u0000\u00c8\u00c6\u0001\u0000\u0000\u0000\u00c8\u00c9\u0001\u0000\u0000\u0000\u00c9\u00cb\u0001\u0000\u0000\u0000\u00ca\u00c8\u0001\u0000\u0000\u0000\u00cb\u00cc\u0006\u000f\u0000\u0000\u00cc \u0001\u0000\u0000\u0000\u00cd\u00cf\u0007\u0002\u0000\u0000\u00ce\u00cd\u0001\u0000\u0000\u0000\u00cf\u00d0\u0001\u0000\u0000\u0000\u00d0\u00ce\u0001\u0000\u0000\u0000\u00d0\u00d1\u0001\u0000\u0000\u0000\u00d1\"\u0001\u0000\u0000\u0000\u00d2\u00d6\u0007\u0003\u0000\u0000\u00d3\u00d5\u0007\u0004\u0000\u0000\u00d4\u00d3\u0001\u0000\u0000\u0000\u00d5\u00d8\u0001\u0000\u0000\u0000\u00d6\u00d4\u0001\u0000\u0000\u0000\u00d6\u00d7\u0001\u0000\u0000\u0000\u00d7$\u0001\u0000\u0000\u0000\u00d8\u00d6\u0001\u0000\u0000\u0000\u00d9\u00dd\u0005\"\u0000\u0000\u00da\u00dc\u00033\u0019\u0000\u00db\u00da\u0001\u0000\u0000\u0000\u00dc\u00df\u0001\u0000\u0000\u0000\u00dd\u00db\u0001\u0000\u0000\u0000\u00dd\u00de\u0001\u0000\u0000\u0000\u00de\u00e0\u0001\u0000\u0000\u0000\u00df\u00dd\u0001\u0000\u0000\u0000\u00e0\u00ea\u0005\"\u0000\u0000\u00e1\u00e5\u0005\'\u0000\u0000\u00e2\u00e4\u00033\u0019\u0000\u00e3\u00e2\u0001\u0000\u0000\u0000\u00e4\u00e7\u0001\u0000\u0000\u0000\u00e5\u00e3\u0001\u0000\u0000\u0000\u00e5\u00e6\u0001\u0000\u0000\u0000\u00e6\u00e8\u0001\u0000\u0000\u0000\u00e7\u00e5\u0001\u0000\u0000\u0000\u00e8\u00ea\u0005\'\u0000\u0000\u00e9\u00d9\u0001\u0000\u0000\u0000\u00e9\u00e1\u0001\u0000\u0000\u0000\u00ea&\u0001\u0000\u0000\u0000\u00eb\u00ec\u0005{\u0000\u0000\u00ec(\u0001\u0000\u0000\u0000\u00ed\u00ee\u0005}\u0000\u0000\u00ee*\u0001\u0000\u0000\u0000\u00ef\u00f0\u0005(\u0000\u0000\u00f0,\u0001\u0000\u0000\u0000\u00f1\u00f2\u0005)\u0000\u0000\u00f2.\u0001\u0000\u0000\u0000\u00f3\u00f4\u0005,\u0000\u0000\u00f40\u0001\u0000\u0000\u0000\u00f5\u00f6\u0005:\u0000\u0000\u00f62\u0001\u0000\u0000\u0000\u00f7\u00f8\b\u0001\u0000\u0000\u00f84\u0001\u0000\u0000\u0000\u00f9\u00fa\t\u0000\u0000\u0000\u00fa\u00fb\u0001\u0000\u0000\u0000\u00fb\u00fc\u0006\u001a\u0001\u0000\u00fc6\u0001\u0000\u0000\u0000\f\u0000\u00a5\u00aa\u00ae\u00b0\u00ba\u00c8\u00d0\u00d6\u00dd\u00e5\u00e9\u0002\u0000\u0001\u0000\u0006\u0000\u0000"
public static final int	ABSTRACT_SUP	9
public static final int	AS	12
public static final int	CLOSE	20
public static final int	CLOSE_P	22
public static final int	COLON	24
public static final int	COMMA	23
public static final int	COMMENT	15
public static final int	CONCLUSION	7
public static final int	ERROR_TOKEN	25
public static final int	EVIDENCE	4
public static final int	ID	17
public static final int	IMPLEMENTS	2
public static final int	IS	3
public static final int	JUSTIFICATION	1
public static final int	LINE_COMMENT	16
public static final int	LOAD	11
public static final int	NEWLINE	14
public static final int	OPEN	19
public static final int	OPEN_P	21
public static final int	STRATEGY	5
public static final int	STRING	18
public static final int	SUBCONCLUSION	6
public static final int	SUPPORT_LNK	10
public static final int	TEMPLATE	8
public static final int	WHITESPACE	13

ca.mcscert.jpipe.lang.JPipeParser

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0004\u0001\u0019\u00a4\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0002\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0002\u000b\u0007\u000b\u0002\f\u0007\f\u0002\r\u0007\r\u0002\u000e\u0007\u000e\u0002\u000f\u0007\u000f\u0002\u0010\u0007\u0010\u0001\u0000\u0001\u0000\u0001\u0000\u0004\u0000&\b\u0000\u000b\u0000\f\u0000\'\u0001\u0000\u0001\u0000\u0001\u0001\u0001\u0001\u0001\u0001\u0005\u0001/\b\u0001\n\u0001\f\u00012\t\u0001\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0003\u00028\b\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0003\u0002B\b\u0002\u0001\u0002\u0001\u0002\u0003\u0002F\b\u0002\u0003\u0002H\b\u0002\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0004\u0003O\b\u0003\u000b\u0003\f\u0003P\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0003\u0004W\b\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0003\u0004a\b\u0004\u0001\u0004\u0001\u0004\u0003\u0004e\b\u0004\u0003\u0004g\b\u0004\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0004\u0005o\b\u0005\u000b\u0005\f\u0005p\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0003\u0006w\b\u0006\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\b\u0001\b\u0001\b\u0001\t\u0001\t\u0001\t\u0001\n\u0001\n\u0001\n\u0001\u000b\u0001\u000b\u0001\u000b\u0001\f\u0001\f\u0001\f\u0001\r\u0001\r\u0001\r\u0001\r\u0001\u000e\u0001\u000e\u0001\u000e\u0005\u000e\u0093\b\u000e\n\u000e\f\u000e\u0096\t\u000e\u0001\u000f\u0001\u000f\u0004\u000f\u009a\b\u000f\u000b\u000f\f\u000f\u009b\u0001\u000f\u0001\u000f\u0001\u0010\u0001\u0010\u0001\u0010\u0001\u0010\u0001\u0010\u0000\u0000\u0011\u0000\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0018\u001a\u001c\u001e \u0000\u0000\u00ac\u0000%\u0001\u0000\u0000\u0000\u0002+\u0001\u0000\u0000\u0000\u00043\u0001\u0000\u0000\u0000\u0006N\u0001\u0000\u0000\u0000\bR\u0001\u0000\u0000\u0000\nn\u0001\u0000\u0000\u0000\fr\u0001\u0000\u0000\u0000\u000ex\u0001\u0000\u0000\u0000\u0010|\u0001\u0000\u0000\u0000\u0012\u007f\u0001\u0000\u0000\u0000\u0014\u0082\u0001\u0000\u0000\u0000\u0016\u0085\u0001\u0000\u0000\u0000\u0018\u0088\u0001\u0000\u0000\u0000\u001a\u008b\u0001\u0000\u0000\u0000\u001c\u008f\u0001\u0000\u0000\u0000\u001e\u0097\u0001\u0000\u0000\u0000 \u009f\u0001\u0000\u0000\u0000\"&\u0003\u0004\u0002\u0000#&\u0003\b\u0004\u0000$&\u0003\f\u0006\u0000%\"\u0001\u0000\u0000\u0000%#\u0001\u0000\u0000\u0000%$\u0001\u0000\u0000\u0000&\'\u0001\u0000\u0000\u0000\'%\u0001\u0000\u0000\u0000\'(\u0001\u0000\u0000\u0000()\u0001\u0000\u0000\u0000)*\u0005\u0000\u0000\u0001*\u0001\u0001\u0000\u0000\u0000+0\u0005\u0011\u0000\u0000,-\u0005\u0018\u0000\u0000-/\u0005\u0011\u0000\u0000.,\u0001\u0000\u0000\u0000/2\u0001\u0000\u0000\u00000.\u0001\u0000\u0000\u000001\u0001\u0000\u0000\u00001\u0003\u0001\u0000\u0000\u000020\u0001\u0000\u0000\u000034\u0005\u0001\u0000\u000047\u0005\u0011\u0000\u000056\u0005\u0002\u0000\u000068\u0003\u0002\u0001\u000075\u0001\u0000\u0000\u000078\u0001\u0000\u0000\u00008G\u0001\u0000\u0000\u00009:\u0005\u0013\u0000\u0000:;\u0003\u0006\u0003\u0000;<\u0005\u0014\u0000\u0000<H\u0001\u0000\u0000\u0000=>\u0005\u0003\u0000\u0000>?\u0003\u0002\u0001\u0000?A\u0005\u0015\u0000\u0000@B\u0003\u001c\u000e\u0000A@\u0001\u0000\u0000\u0000AB\u0001\u0000\u0000\u0000BC\u0001\u0000\u0000\u0000CE\u0005\u0016\u0000\u0000DF\u0003\u001e\u000f\u0000ED\u0001\u0000\u0000\u0000EF\u0001\u0000\u0000\u0000FH\u0001\u0000\u0000\u0000G9\u0001\u0000\u0000\u0000G=\u0001\u0000\u0000\u0000H\u0005\u0001\u0000\u0000\u0000IO\u0003\u0010\b\u0000JO\u0003\u0014\n\u0000KO\u0003\u0012\t\u0000LO\u0003\u001a\r\u0000MO\u0003\u0016\u000b\u0000NI\u0001\u0000\u0000\u0000NJ\u0001\u0000\u0000\u0000NK\u0001\u0000\u0000\u0000NL\u0001\u0000\u0000\u0000NM\u0001\u0000\u0000\u0000OP\u0001\u0000\u0000\u0000PN\u0001\u0000\u0000\u0000PQ\u0001\u0000\u0000\u0000Q\u0007\u0001\u0000\u0000\u0000RS\u0005\b\u0000\u0000SV\u0005\u0011\u0000\u0000TU\u0005\u0002\u0000\u0000UW\u0003\u0002\u0001\u0000VT\u0001\u0000\u0000\u0000VW\u0001\u0000\u0000\u0000Wf\u0001\u0000\u0000\u0000XY\u0005\u0013\u0000\u0000YZ\u0003\n\u0005\u0000Z[\u0005\u0014\u0000\u0000[g\u0001\u0000\u0000\u0000\\]\u0005\u0003\u0000\u0000]^\u0003\u0002\u0001\u0000^`\u0005\u0015\u0000\u0000_a\u0003\u001c\u000e\u0000`_\u0001\u0000\u0000\u0000`a\u0001\u0000\u0000\u0000ab\u0001\u0000\u0000\u0000bd\u0005\u0016\u0000\u0000ce\u0003\u001e\u000f\u0000dc\u0001\u0000\u0000\u0000de\u0001\u0000\u0000\u0000eg\u0001\u0000\u0000\u0000fX\u0001\u0000\u0000\u0000f\\\u0001\u0000\u0000\u0000g\t\u0001\u0000\u0000\u0000ho\u0003\u0010\b\u0000io\u0003\u0014\n\u0000jo\u0003\u0012\t\u0000ko\u0003\u001a\r\u0000lo\u0003\u0016\u000b\u0000mo\u0003\u0018\f\u0000nh\u0001\u0000\u0000\u0000ni\u0001\u0000\u0000\u0000nj\u0001\u0000\u0000\u0000nk\u0001\u0000\u0000\u0000nl\u0001\u0000\u0000\u0000nm\u0001\u0000\u0000\u0000op\u0001\u0000\u0000\u0000pn\u0001\u0000\u0000\u0000pq\u0001\u0000\u0000\u0000q\u000b\u0001\u0000\u0000\u0000rs\u0005\u000b\u0000\u0000sv\u0005\u0012\u0000\u0000tu\u0005\f\u0000\u0000uw\u0005\u0011\u0000\u0000vt\u0001\u0000\u0000\u0000vw\u0001\u0000\u0000\u0000w\r\u0001\u0000\u0000\u0000xy\u0003\u0002\u0001\u0000yz\u0005\u0003\u0000\u0000z{\u0005\u0012\u0000\u0000{\u000f\u0001\u0000\u0000\u0000|}\u0005\u0004\u0000\u0000}~\u0003\u000e\u0007\u0000~\u0011\u0001\u0000\u0000\u0000\u007f\u0080\u0005\u0005\u0000\u0000\u0080\u0081\u0003\u000e\u0007\u0000\u0081\u0013\u0001\u0000\u0000\u0000\u0082\u0083\u0005\u0006\u0000\u0000\u0083\u0084\u0003\u000e\u0007\u0000\u0084\u0015\u0001\u0000\u0000\u0000\u0085\u0086\u0005\u0007\u0000\u0000\u0086\u0087\u0003\u000e\u0007\u0000\u0087\u0017\u0001\u0000\u0000\u0000\u0088\u0089\u0005\t\u0000\u0000\u0089\u008a\u0003\u000e\u0007\u0000\u008a\u0019\u0001\u0000\u0000\u0000\u008b\u008c\u0003\u0002\u0001\u0000\u008c\u008d\u0005\n\u0000\u0000\u008d\u008e\u0003\u0002\u0001\u0000\u008e\u001b\u0001\u0000\u0000\u0000\u008f\u0094\u0003\u0002\u0001\u0000\u0090\u0091\u0005\u0017\u0000\u0000\u0091\u0093\u0003\u0002\u0001\u0000\u0092\u0090\u0001\u0000\u0000\u0000\u0093\u0096\u0001\u0000\u0000\u0000\u0094\u0092\u0001\u0000\u0000\u0000\u0094\u0095\u0001\u0000\u0000\u0000\u0095\u001d\u0001\u0000\u0000\u0000\u0096\u0094\u0001\u0000\u0000\u0000\u0097\u0099\u0005\u0013\u0000\u0000\u0098\u009a\u0003 \u0010\u0000\u0099\u0098\u0001\u0000\u0000\u0000\u009a\u009b\u0001\u0000\u0000\u0000\u009b\u0099\u0001\u0000\u0000\u0000\u009b\u009c\u0001\u0000\u0000\u0000\u009c\u009d\u0001\u0000\u0000\u0000\u009d\u009e\u0005\u0014\u0000\u0000\u009e\u001f\u0001\u0000\u0000\u0000\u009f\u00a0\u0005\u0011\u0000\u0000\u00a0\u00a1\u0005\u0018\u0000\u0000\u00a1\u00a2\u0005\u0012\u0000\u0000\u00a2!\u0001\u0000\u0000\u0000\u0012%\'07AEGNPV`dfnpv\u0094\u009b"
public static final int	ABSTRACT_SUP	9
public static final int	AS	12
public static final int	CLOSE	20
public static final int	CLOSE_P	22
public static final int	COLON	24
public static final int	COMMA	23
public static final int	COMMENT	15
public static final int	CONCLUSION	7
public static final int	ERROR_TOKEN	25
public static final int	EVIDENCE	4
public static final int	ID	17
public static final int	IMPLEMENTS	2
public static final int	IS	3
public static final int	JUSTIFICATION	1
public static final int	LINE_COMMENT	16
public static final int	LOAD	11
public static final int	NEWLINE	14
public static final int	OPEN	19
public static final int	OPEN_P	21
public static final int	RULE_abstract	12
public static final int	RULE_conclusion	11
public static final int	RULE_element	7
public static final int	RULE_evidence	8
public static final int	RULE_justif_body	3
public static final int	RULE_justification	2
public static final int	RULE_key_val_decl	16
public static final int	RULE_load	6
public static final int	RULE_params_decl	14
public static final int	RULE_qualified_id	1
public static final int	RULE_relation	13
public static final int	RULE_rule_config	15
public static final int	RULE_strategy	9
public static final int	RULE_sub_conclusion	10
public static final int	RULE_template	4
public static final int	RULE_template_body	5
public static final int	RULE_unit	0
public static final int	STRATEGY	5
public static final int	STRING	18
public static final int	SUBCONCLUSION	6
public static final int	SUPPORT_LNK	10
public static final int	TEMPLATE	8
public static final int	WHITESPACE	13

ca.mcscert.jpipe.operators.builtin.AssembleOperator

Modifier and Type	Constant Field	Value
public static final String	CONCLUSION_ID	"assembleConclusion"
public static final String	STRATEGY_ID	"assembleStrategy"

ca.mcscert.jpipe.operators.builtin.RefineOperator

Modifier and Type	Constant Field	Value
public static final String	HOOK_ID	"hook"