Examples of ExprList

com.hp.hpl.jena.sparql.expr.ExprList
com.puppetlabs.geppetto.pp.ExprList
A representation of the model object 'Expr List'.
The following features are supported:
- {@link com.puppetlabs.geppetto.pp.ExprList#getExpressions Expressions}
@see com.puppetlabs.geppetto.pp.PPPackage#getExprList() @model @generated
edu.mit.csail.sdg.alloy4compiler.ast.ExprList
Immutable; represents disjoint[] or pred/totalOrder[] or (... and ... and ..) and other similar list of arugments.
Invariant: type!=EMPTY => (all x:args | x.mult==0)

Examples of com.hp.hpl.jena.sparql.expr.ExprList

        args.add(Var.alloc("x"));
        args.add(Var.alloc("y"));
        UserDefinedFunctionFactory.getFactory().add("http://example/takeaway", takeaway, args);
        
        //Test that with preserveDependencies set to false (the default) that the definition is expanded appropriately
        ExprList numArgs = new ExprList();
        numArgs.add(new NodeValueInteger(1));
        numArgs.add(new NodeValueDouble(2.3));
        Expr test = new E_Function("http://example/takeaway", numArgs);
        UserDefinedFunctionFactory.getFactory().add("http://example/test", test, new ArrayList<Var>());
        
        UserDefinedFunctionDefinition def = UserDefinedFunctionFactory.getFactory().get("http://example/test");
        Expr base = def.getBaseExpr();

View Full Code Here

Examples of com.puppetlabs.geppetto.pp.ExprList

        if(result == null)
          result = defaultCase(theEObject);
        return result;
      }
      case PPPackage.EXPR_LIST: {
        ExprList exprList = (ExprList) theEObject;
        T result = caseExprList(exprList);
        if(result == null)
          result = caseExpression(exprList);
        if(result == null)
          result = defaultCase(theEObject);

View Full Code Here

Examples of edu.mit.csail.sdg.alloy4compiler.ast.ExprList

        for(Sig s:sigs) {
           while (s.isOne!=null && s.getFieldDecls().size()==2 && s.getFields().size()==2 && s.getFacts().size()==1) {
              // Let's check whether this is a total ordering on an enum...
              Expr fact = s.getFacts().get(0).deNOP(), b1 = s.getFieldDecls().get(0).expr.deNOP(), b2 = s.getFieldDecls().get(1).expr.deNOP(), b3;
              if (!(fact instanceof ExprList) || !(b1 instanceof ExprUnary) || !(b2 instanceof ExprBinary)) break;
              ExprList list = (ExprList)fact;
              if (list.op!=ExprList.Op.TOTALORDER || list.args.size()!=3) break;
              if (((ExprUnary)b1).op!=ExprUnary.Op.SETOF) break; else b1 = ((ExprUnary)b1).sub.deNOP();
              if (((ExprBinary)b2).op!=ExprBinary.Op.ARROW) break; else { b3 = ((ExprBinary)b2).right.deNOP(); b2 = ((ExprBinary)b2).left.deNOP(); }
              if (!(b1 instanceof PrimSig) || b1!=b2 || b1!=b3) break;
              PrimSig sub = (PrimSig)b1;

View Full Code Here

0 1 2 3 4 5

TOP

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.