Examples of sourceLocation()

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

62
63
64
65
66
67
68
69
70
71
72
      return loc;
    }
   
    if (loc.hasOffsetLength()) {
      if (loc.hasLineColumn()) {
        return vf.sourceLocation(vf.sourceLocation(resolve(uri)), loc.getOffset(), loc.getLength(), loc.getBeginLine(), loc.getEndLine(), loc.getBeginColumn(), loc.getEndColumn());
      }
      else {
        return vf.sourceLocation(vf.sourceLocation(resolve(uri)), loc.getOffset(), loc.getLength());
      }
    }
View Full Code Here

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

62
63
64
65
66
67
68
69
70
71
72
      return loc;
    }
   
    if (loc.hasOffsetLength()) {
      if (loc.hasLineColumn()) {
        return vf.sourceLocation(vf.sourceLocation(resolve(uri)), loc.getOffset(), loc.getLength(), loc.getBeginLine(), loc.getEndLine(), loc.getBeginColumn(), loc.getEndColumn());
      }
      else {
        return vf.sourceLocation(vf.sourceLocation(resolve(uri)), loc.getOffset(), loc.getLength());
      }
    }
View Full Code Here

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

65
66
67
68
69
70
71
72
73
74
75
    if (loc.hasOffsetLength()) {
      if (loc.hasLineColumn()) {
        return vf.sourceLocation(vf.sourceLocation(resolve(uri)), loc.getOffset(), loc.getLength(), loc.getBeginLine(), loc.getEndLine(), loc.getBeginColumn(), loc.getEndColumn());
      }
      else {
        return vf.sourceLocation(vf.sourceLocation(resolve(uri)), loc.getOffset(), loc.getLength());
      }
    }
   
    return vf.sourceLocation(resolve(uri));
  }
View Full Code Here

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

65
66
67
68
69
70
71
72
73
74
75
    if (loc.hasOffsetLength()) {
      if (loc.hasLineColumn()) {
        return vf.sourceLocation(vf.sourceLocation(resolve(uri)), loc.getOffset(), loc.getLength(), loc.getBeginLine(), loc.getEndLine(), loc.getBeginColumn(), loc.getEndColumn());
      }
      else {
        return vf.sourceLocation(vf.sourceLocation(resolve(uri)), loc.getOffset(), loc.getLength());
      }
    }
   
    return vf.sourceLocation(resolve(uri));
  }
View Full Code Here

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

69
70
71
72
73
74
75
76
77
78
79
      else {
        return vf.sourceLocation(vf.sourceLocation(resolve(uri)), loc.getOffset(), loc.getLength());
      }
    }
   
    return vf.sourceLocation(resolve(uri));
  }
 
  /**
   * Returns a URI that does not have the rascal scheme, or null if the URI is not found.
   */
 
View Full Code Here

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

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.IValueFactory.sourceLocation()

39
40
41
42
43
44
45
46
47
48
49
  public void test(String moduleName, int nTests) {
    testResultListener.start(nTests);
    IValueFactory vf = eval.getValueFactory();
    ISourceLocation src = null;
    try {
      src = vf.sourceLocation("rascal", "", moduleName.replaceAll("::",  "/") + ".rsc");
      System.err.println("TestExecutor.test: testing " + moduleName + ", " + nTests + " tests");
      eval.call("executeTests", src);
      //System.err.println("TestExecutor.test: testing " + moduleName + " ... done");
    } catch (URISyntaxException e) {
      // TODO Auto-generated catch block
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.