Examples of tupleType()

Examples of org.eclipse.imp.pdb.facts.type.TypeFactory.tupleType()

42
43
44
45
46
47
48
49
50
51
52
  @SuppressWarnings("deprecation")
  M3Converter(final TypeStore typeStore) {
    super(typeStore, true);
    this.DATATYPE_M3_NODE_TYPE = this.typeStore.lookupAbstractDataType(DATATYPE_M3_NODE);
    TypeFactory tf = TypeFactory.getInstance();
    this.CONSTRUCTOR_M3= this.typeStore.lookupConstructor(DATATYPE_M3_NODE_TYPE, "m3", tf.tupleType(tf.sourceLocationType()));
    this.DATATYPE_TYPESYMBOL = this.typeStore.lookupAbstractDataType("TypeSymbol");
    uses = values.relationWriter(m3TupleType);
    declarations = values.relationWriter(m3TupleType);
    containment = values.relationWriter(m3TupleType);
    extendsRelations = values.relationWriter(m3TupleType);
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.type.TypeFactory.tupleType()

145
146
147
148
149
150
151
152
153
154
155
          } else {
            labels[i] = "arg" + java.lang.Integer.toString(i);
          }
        }
       
        Type children = tf.tupleType(fields, labels);
       
        try {
          ConstructorFunction cons = env.constructorFromTuple(var, eval, adt, altName, children, kwType, kws);
          cons.setPublic(true); // TODO: implement declared visibility
        } catch (org.eclipse.imp.pdb.facts.exceptions.RedeclaredConstructorException e) {
View Full Code Here

Examples of org.eclipse.imp.pdb.facts.type.TypeFactory.tupleType()

121
122
123
124
125
126
127
128
129
130
131
    return sortedData;
  }
 
  public IList getProfileData(){
    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())));
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.