/** Constructor. */ public SyntaxTreeBuilder(java.io.Reader stream) { jj_input_stream = new JavaCharStream(stream, 1, 1); token_source = new SyntaxTreeBuilderTokenManager(jj_input_stream); token = new Token(); jj_ntk = -1; jj_gen = 0; for (int i = 0; i < 194; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); }
/** Reinitialise. */ public void ReInit(java.io.Reader stream) { jj_input_stream.ReInit(stream, 1, 1); token_source.ReInit(jj_input_stream); token = new Token(); jj_ntk = -1; jjtree.reset(); jj_gen = 0; for (int i = 0; i < 194; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); }
final public void CreateEntailments() throws ParseException { /*@bgen(jjtree) CreateEntailments */ ASTCreateEntailments jjtn000 = new ASTCreateEntailments(JJTCREATEENTAILMENTS); boolean jjtc000 = true; jjtree.openNodeScope(jjtn000); try { jj_consume_token(CREATE_ENTAILMENTS); } finally { if (jjtc000) { jjtree.closeNodeScope(jjtn000, true); } } }
final public void DisableEntailments() throws ParseException { /*@bgen(jjtree) DisableEntailments */ ASTDisableEntailments jjtn000 = new ASTDisableEntailments(JJTDISABLEENTAILMENTS); boolean jjtc000 = true; jjtree.openNodeScope(jjtn000); try { jj_consume_token(DISABLE_ENTAILMENTS); } finally { if (jjtc000) { jjtree.closeNodeScope(jjtn000, true); } } }
final public void DropEntailments() throws ParseException { /*@bgen(jjtree) DropEntailments */ ASTDropEntailments jjtn000 = new ASTDropEntailments(JJTDROPENTAILMENTS); boolean jjtc000 = true; jjtree.openNodeScope(jjtn000); try { jj_consume_token(DROP_ENTAILMENTS); } finally { if (jjtc000) { jjtree.closeNodeScope(jjtn000, true); } } }
final public void EnableEntailments() throws ParseException { /*@bgen(jjtree) EnableEntailments */ ASTEnableEntailments jjtn000 = new ASTEnableEntailments(JJTENABLEENTAILMENTS); boolean jjtc000 = true; jjtree.openNodeScope(jjtn000); try { jj_consume_token(ENABLE_ENTAILMENTS); } finally { if (jjtc000) { jjtree.closeNodeScope(jjtn000, true); } } }
private Node getParentContainer(Node node) { if (node instanceof ASTOperationContainer || node == null) { return node; } return getParentContainer(node.jjtGetParent()); }
/** Reinitialise. */ public void ReInit(java.io.Reader stream) { jj_input_stream.ReInit(stream, 1, 1); token_source.ReInit(jj_input_stream); token = new Token(); jj_ntk = -1; jjtree.reset(); jj_gen = 0; for (int i = 0; i < 194; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); }
/** Constructor. */ public SyntaxTreeBuilder(java.io.Reader stream) { jj_input_stream = new JavaCharStream(stream, 1, 1); token_source = new SyntaxTreeBuilderTokenManager(jj_input_stream); token = new Token(); jj_ntk = -1; jj_gen = 0; for (int i = 0; i < 194; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); }
final public void CreateEntailments() throws ParseException { /*@bgen(jjtree) CreateEntailments */ ASTCreateEntailments jjtn000 = new ASTCreateEntailments(JJTCREATEENTAILMENTS); boolean jjtc000 = true; jjtree.openNodeScope(jjtn000); try { jj_consume_token(CREATE_ENTAILMENTS); } finally { if (jjtc000) { jjtree.closeNodeScope(jjtn000, true); } } }
final public void DisableEntailments() throws ParseException { /*@bgen(jjtree) DisableEntailments */ ASTDisableEntailments jjtn000 = new ASTDisableEntailments(JJTDISABLEENTAILMENTS); boolean jjtc000 = true; jjtree.openNodeScope(jjtn000); try { jj_consume_token(DISABLE_ENTAILMENTS); } finally { if (jjtc000) { jjtree.closeNodeScope(jjtn000, true); } } }
private Node getParentContainer(Node node) { if (node instanceof ASTOperationContainer || node == null) { return node; } return getParentContainer(node.jjtGetParent()); }
/** Reinitialise. */ public void ReInit(java.io.InputStream stream, String encoding) { try { jj_input_stream.ReInit(stream, encoding, 1, 1); } catch(java.io.UnsupportedEncodingException e) { throw new RuntimeException(e); } token_source.ReInit(jj_input_stream); token = new Token(); jj_ntk = -1; jjtree.reset(); jj_gen = 0; for (int i = 0; i < 194; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); }
/** Constructor with InputStream and supplied encoding */ public SyntaxTreeBuilder(java.io.InputStream stream, String encoding) { try { jj_input_stream = new JavaCharStream(stream, encoding, 1, 1); } catch(java.io.UnsupportedEncodingException e) { throw new RuntimeException(e); } token_source = new SyntaxTreeBuilderTokenManager(jj_input_stream); token = new Token(); jj_ntk = -1; jj_gen = 0; for (int i = 0; i < 194; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); }
/** Reinitialise. */ public void ReInit(java.io.InputStream stream, String encoding) { try { jj_input_stream.ReInit(stream, encoding, 1, 1); } catch(java.io.UnsupportedEncodingException e) { throw new RuntimeException(e); } token_source.ReInit(jj_input_stream); token = new Token(); jj_ntk = -1; jjtree.reset(); jj_gen = 0; for (int i = 0; i < 194; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); }
/** Constructor with InputStream and supplied encoding */ public SyntaxTreeBuilder(java.io.InputStream stream, String encoding) { try { jj_input_stream = new JavaCharStream(stream, encoding, 1, 1); } catch(java.io.UnsupportedEncodingException e) { throw new RuntimeException(e); } token_source = new SyntaxTreeBuilderTokenManager(jj_input_stream); token = new Token(); jj_ntk = -1; jj_gen = 0; for (int i = 0; i < 194; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); }