List of tuple() Examples

Examples of tuple()

javax.persistence.criteria.CriteriaBuilder.tuple()
Create a tuple-valued selection item. @param selections selection items @return tuple-valued compound selection @throws IllegalArgumentException if an argument is atuple- or array-valued selection item
javax.persistence.criteria.QueryBuilder.tuple()
Define a tuple-valued selection item @param selections selection items @return tuple-valued compound selection @throws IllegalArgumentException if an argument is a tuple- orarray-valued selection item
kodkod.instance.TupleFactory.tuple()
Returns a tuple that contains the specified sequence of atoms, drawn from this.universe. @return {t: Tuple | t.universe = this.universe && t.atoms = atoms } @throws NullPointerException - atoms = null @throws IllegalArgumentException - atoms.length < 1 @throws IllegalArgumentException - some a: atoms[int] | a !in this.universe.atoms[int]
org.eclipse.imp.pdb.facts.IValueFactory.tuple()

Examples of org.eclipse.imp.pdb.facts.IValueFactory.tuple()

    }
    if (intResult != null) {
      return makeResult(tf.integerType(), vf.integer(intResult), ctx);
    }
    if (tupleA != null && tupleB != null) {
      return makeResult(intTuple, vf.tuple(vf.integer(tupleA), vf.integer(tupleB)), ctx);
    }
    throw new RuntimeException("A case not handled? " + name);
  }


  @Override

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.IValueFactory.tuple()

    TypeFactory TF = TypeFactory.getInstance();
    Type elemType = TF.tupleType(TF.sourceLocationType(), TF.integerType());
    IValueFactory VF = ValueFactoryFactory.getValueFactory();
    IListWriter w = VF.listWriter(elemType);
    for(Map.Entry<ISourceLocation, Count> e : sortData()){
      w.insert(VF.tuple(e.getKey(), VF.integer(e.getValue().getTicks())));
    }
    return w.done();
  }
  
  public void report() {

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.IValueFactory.tuple()

        ISetWriter defWriter = VF.setWriter();
        for(IValue def : env.productions){
          defWriter.insert(def);
        }
        
        ITuple t = VF.tuple(importWriter.done(), extendWriter.done(), defWriter.done());
        result.put(VF.string(m), t);
      }else if(m.equals(getName())) { // This is the root scope.
        ISetWriter importWriter = VF.setWriter();
        for(String impname : importedModules){
          if(!done.contains(impname)) todo.add(impname);

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.IValueFactory.tuple()

        ISetWriter defWriter = VF.setWriter();
        for(IValue def : productions){
          defWriter.insert(def);
        }
        
        ITuple t = VF.tuple(importWriter.done(), extendWriter.done(), defWriter.done());
        result.put(VF.string(m), t);
      }
    }

View Full Code Here

0 1

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.