Package org.eclipse.imp.pdb.facts.type

Examples of org.eclipse.imp.pdb.facts.type.Type

40
41
42
43
44
45
46
47
48
49
50
51
52
53
  public static String resultMessage(Result<IValue> result) {
    String content;
    IValue value = result.getValue();
   
    if (value != null) {
      Type type = result.getType();
     
      if (type.isAbstractData() && type.isSubtypeOf(Factory.Tree)) {
        content = type.toString() + ": `" + TreeAdapter.yield((IConstructor) value, 1000) + "`\n";
       
        StandardTextWriter stw = new StandardTextWriter(false);
        LimitedResultWriter lros = new LimitedResultWriter(1000);
        try{
          stw.write(value, lros);
View Full Code Here
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
  public Type getType(Environment env, HashMap<String,IVarPattern> patternVars) {                     
    if(patternSize == 0){
      return tf.listType(tf.voidType());
    }

    Type elemType = tf.voidType();
    for(int i = 0; i < patternSize; i += delta){
      IMatchingResult child = patternChildren.get(i);
      Type childType = child.getType(env, patternVars);
      patternVars = merge(patternVars, patternChildren.get(i).getVariables());
      boolean isMultiVar = child instanceof MultiVariablePattern || child instanceof TypedMultiVariablePattern;
     
      if(childType.isList() && isMultiVar){
        elemType = elemType.lub(childType.getElementType());
      } else {
        elemType = elemType.lub(childType);
      }
    }
    if(debug) {
View Full Code Here
545
546
547
548
549
550
551
552
553
554
555
 
  @Override
  public IConstructor makeConstructor(Type returnType, String name, IEvaluatorContext ctx, IValue ...args) {
    // TODO: in general, the following should be the call to an overloaded function
    IValue value = values.constructor(typeStore.lookupConstructor(returnType, name, TypeFactory.getInstance().tupleType(args)), args, new HashMap<String, IValue>());
    Type type = value.getType();
    if (type.isAbstractData()) {
      return (IConstructor)value;
    }
    throw RuntimeExceptionFactory.implodeError("Calling of constructor " + name + " did not return a constructor", null, null);
  }
View Full Code Here
555
556
557
558
559
560
561
562
563
564
565
566
567
568
  }
 
  @Override
  public IValue implode(IValue reifiedType, IConstructor tree, IEvaluatorContext ctx) {
    typeStore = new TypeStore();
    Type type = tr.valueToType((IConstructor) reifiedType, typeStore);
    try {
      IValue result = implode(typeStore, type, tree, false, ctx);
      if (isUntypedNodeType(type) && !type.isTop() && (TreeAdapter.isList(tree) || TreeAdapter.isOpt(tree))) {
        result = values.node("", result);
      }
      return result;
    }
    catch (Backtrack b) {
View Full Code Here
586
587
588
589
590
591
592
593
594
595
596
    //    ModuleEnvironment pt = ctx.getHeap().getModule("ParseTree");
    //    if(pt != null){
    //      store.importStore(pt.getStore());
    //    }
    Type start = tr.valueToType((IConstructor) type, store);
    loc = rex.resolveSourceLocation(loc);

    InputStream in = null;
    try{
      in = new BufferedInputStream(rex.getResolverRegistry().getInputStream(loc.getURI()));
View Full Code Here
614
615
616
617
618
619
620
621
622
623
624
  public IValue readTextValueFile(IValue type, ISourceLocation loc, RascalExecutionContext rex){
    loc = rex.resolveSourceLocation(loc);

    TypeStore store = new TypeStore();
    Type start = tr.valueToType((IConstructor) type, store);

    InputStream in = null;
    try{
      in = new BufferedInputStream(rex.getResolverRegistry().getInputStream(loc.getURI()));
      return new StandardTextReader().read(new RascalValuesValueFactory(), store, start, new InputStreamReader(in, "UTF8"));
View Full Code Here
640
641
642
643
644
645
646
647
648
649
650
    TypeStore store = new TypeStore();
    //    ModuleEnvironment pt = ctx.getHeap().getModule("ParseTree");
    //    if(pt != null){
    //      store.importStore(pt.getStore());
    //    }
    Type start = tr.valueToType((IConstructor) type, store);

    StringReader in = new StringReader(input.getValue());
    try {
      return new StandardTextReader().read(values, store, start, in);
    } catch (FactTypeUseException e) {
View Full Code Here
2691
2692
2693
2694
2695
2696
2697
2698
2699
2700
2701
    }

    @Override
    public IMatchingResult buildMatcher(IEvaluatorContext eval) {
      Environment env = eval.getCurrentEnvt();
      Type type = getType().typeOf(env, true, eval.getEvaluator());

      type = type.instantiate(env.getTypeBindings());
     
      return new TypedVariablePattern(eval, this, type, getName());
    }
View Full Code Here
235
236
237
238
239
240
241
242
243
244
245
    INumber diff = iSecond.subtract(iFrom);
   
    INumber zero = diff.subtract(diff); // zero in the type that we're dealing with.

    // Use declared types here
    Type resultType = second.getType().lub(from.getType().lub(to.getType()));
   
    IListWriter w = vf.listWriter();
    if (iFrom.lessEqual(iTo).getValue() && diff.greater(zero).getValue()) {
      do {
        w.append(iFrom);
View Full Code Here
61
62
63
64
65
66
67
68
69
    return makeResult(getType().lub(s.getType()), s.getValue().subtract(getValue()), ctx);
  }

  @Override
  protected <U extends IValue> Result<U> multiplyRelation(RelationResult that) {
    Type tupleType = getTypeFactory().tupleType(that.type.getElementType(), type.getElementType());
    // Note the reverse in .product
    return makeResult(getTypeFactory().relTypeFromTuple(tupleType), that.getValue().product(getValue()), ctx);
  }
View Full Code Here
TOP

Related Classes of org.eclipse.imp.pdb.facts.type.Type

  • org.rascalmpl.interpreter.cursors.ConstructorLabelContext
  • org.rascalmpl.interpreter.env.ModuleEnvironment
  • org.rascalmpl.interpreter.Evaluator
  • org.rascalmpl.interpreter.JavaToRascal
  • org.rascalmpl.interpreter.matching.ConcreteApplicationPattern
  • org.rascalmpl.interpreter.matching.IteratorFactory
  • org.rascalmpl.interpreter.matching.ListPattern
  • org.rascalmpl.interpreter.matching.MatchResult
  • org.rascalmpl.interpreter.matching.QualifiedNamePattern
  • org.rascalmpl.interpreter.matching.SetPattern
    • Copyright © 2018 www.massapicom. 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.