Package lupos.rif.model

Examples of lupos.rif.model.Uniterm

264
265
266
267
268
269
270
271
272
273
274
275
      return n.f0.accept(this, argu);
    else {
      final List<INode> seq = ((List<INode>)((NodeChoice) n.f1.node).choice.accept(this, argu));
      final String operator = (String) seq.get(0).accept(this, null);
      if (operator.equals("#") || operator.equals("##")) {
        final Uniterm term = new RulePredicate(true);
        term.setParent(argu);
        final IExpression leftTerm = (IExpression) n.f0.accept(this, term);
        final IExpression rightTerm = (IExpression) seq.get(1).accept(this, term);
        term.termParams.add(leftTerm);
        term.termParams.add(rightTerm);
        try {
View Full Code Here
296
297
298
299
300
301
302
303
304
305
306
307
      return comp;
    }
  }

  public Object visit(final RIFUniterm n, final IRuleNode argu) {
    final Uniterm term = new RulePredicate(false);
    term.setParent(argu);
    term.termName = (IExpression) n.f0.accept(this, term);
    for (final INode node : (List<INode>) n.f2.accept(this, term)) {
      final NodeChoice choice = (NodeChoice) node;
      if (choice.which == 1)
        term.termParams.add((IExpression) choice.choice.accept(this,
View Full Code Here
316
317
318
319
320
321
322
323
324
325
326
327
  public Object visit(final RIFFrame n, final IRuleNode argu) {
    final List<INode> args = (List<INode>) n.f1.accept(this, argu);
    final AbstractExpressionContainer and = new Conjunction();
    for (final INode node : args) {
      final List<INode> nodeSeq = (List<INode>) node.accept(this, argu);
      final Uniterm term = new RulePredicate(true);
      term.setParent(argu);
      term.termName = (IExpression) nodeSeq.get(0).accept(this, term);
      term.termParams.add((IExpression) ((RIFAtomic)n.getParent().getParent().getParent()).f0.accept(this, term));
      term.termParams
          .add((IExpression) nodeSeq.get(2).accept(this, term));
      if (args.size() == 1)
View Full Code Here
335
336
337
338
339
340
341
342
343
344
  public Object visit(RIFConclusion n, IRuleNode argu) {
    return n.f2.accept(this, argu);
  }

  public Object visit(final RIFExternal n, final IRuleNode argu) {
    final Uniterm term = (Uniterm) n.f2.accept(this, argu);
    final External external = new External(term);
    external.setParent(argu);
    return external;
  }
View Full Code Here
TOP

Related Classes of lupos.rif.model.Uniterm

  • lupos.rif.visitor.ParseSyntaxTreeVisitor
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.