Examples of sourceLocationType()

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

142
143
144
145
146
147
148
149
150
151
152
    case "host":
    case "user":
    case "port":
      URI uri = value.getURI();
      if (!ctx.getResolverRegistry().supportsHost(uri)) {
        throw new UndeclaredField(name, "The scheme " + uri.getScheme() + " does not support the " + name + " field, use authority instead.", tf.sourceLocationType(), ctx.getCurrentAST());
      }
      if (name.equals("host")) {
        stringResult = uri.getHost();
      }
      else if (name.equals("user")) {
View Full Code Here

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

205
206
207
208
209
210
211
212
213
214
215
    case "uri":
      stringResult = value.getURI().toString();
      break;

    case "top":
      return makeResult(tf.sourceLocationType(), vf.sourceLocation(value.getURI()), ctx);

    // now the calculated fields
    case "parent": {
      String path = value.hasPath() ? value.getPath() : "";
      if (path.equals("") || path.equals("/")) {
View Full Code Here

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

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.sourceLocationType()

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.