Package org.rascalmpl.interpreter.staticErrors

Examples of org.rascalmpl.interpreter.staticErrors.UnsupportedOperation

424
425
426
427
428
429
430
431
432
433
434
          path = parent;
        }
        uriPartChanged = true;
      }
      else if (name.equals("ls")) {
        throw new UnsupportedOperation("can not update the children of a location", ctx.getCurrentAST());
      }
      else if (name.equals("extension")) {
        if (!replType.isString()) {
          throw new UnexpectedType(getTypeFactory().stringType(), replType, ctx.getCurrentAST());
        }
View Full Code Here
74
75
76
77
78
79
80
81
82
83
     
      if (onType.isAbstractData() || onType.isConstructor() || onType.isNode()) {
        __eval.getCurrentModuleEnvironment().declareAnnotation(onType,
            name, annoType);
      } else {
        throw new UnsupportedOperation("Can only declare annotations on node and ADT types",getOnType());
      }

      return org.rascalmpl.interpreter.result.ResultFactory.nothing();
    }
View Full Code Here
57
58
59
60
61
62
63
    return ResultFactory.bool(getValue().has(Names.name(name)), ctx);
  }
 
  @Override
  public Result<IValue> call(Type[] argTypes, IValue[] argValues, Map<String, IValue> keyArgValues) {
    throw new UnsupportedOperation("Can not call a constructed " + getType() + " node as a function", ctx.getCurrentAST());
  }
View Full Code Here
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
        Type type = arg.getType().typeOf(env, true, eval.getEvaluator());
        type = type.instantiate(env.getTypeBindings());
       
        // TODO: Question, should we allow non terminal types in splices?
        if (type instanceof NonTerminalType) {
          throw new UnsupportedOperation("splicing match", type, this);
//          throw new ImplementationError(null);
        }       
        return new TypedMultiVariablePattern(eval, this, type, arg.getName());
      }
      if(arg.hasQualifiedName()){
View Full Code Here
179
180
181
182
183
184
185
  }
 
  // Error aux methods
 
  protected <U extends IValue> Result<U> undefinedError(String operator) {
    throw new UnsupportedOperation(operator, getType(), ctx.getCurrentAST());
  }
View Full Code Here
183
184
185
186
187
188
189
  protected <U extends IValue> Result<U> undefinedError(String operator) {
    throw new UnsupportedOperation(operator, getType(), ctx.getCurrentAST());
  }
 
  protected <U extends IValue> Result<U> undefinedError(String operator, Result<?> arg) {
    throw new UnsupportedOperation(operator, getType(), arg.getType(), ctx.getCurrentAST());
  }
View Full Code Here
189
190
191
192
193
194
195
  }
 
  ///////
 
  public Result<IValue> call(Type[] argTypes, IValue[] argValues, Map<String, IValue> keyArgValues) throws MatchFailed {
    throw new UnsupportedOperation("A value of type " + getType() + " is not something you can call like a function, a constructor or a closure.", ctx.getCurrentAST());
  }
View Full Code Here
239
240
241
242
243
244
245
246
247
248
    public  <U extends IValue> Result<U> transitiveClosure() {
      if (getValue().asRelation().arity() == 0 || getValue().asRelation().arity() == 2) {
        try {
          return makeResult(type, getValue().asRelation().closure(), ctx);
        } catch (IllegalOperationException e){
          throw new UnsupportedOperation("Illegal argument of transitive closure (+)", ctx.getCurrentAST());
        }
      }
      throw new Arity(2, getValue().asRelation().arity(), ctx.getCurrentAST());
    }
View Full Code Here
252
253
254
255
256
257
258
259
260
261
    public  <U extends IValue> Result<U> transitiveReflexiveClosure() {
      if (getValue().asRelation().arity() == 0 || getValue().asRelation().arity() == 2) {
        try {
          return makeResult(type, getValue().asRelation().closureStar(), ctx);
        } catch (IllegalOperationException e){
          throw new UnsupportedOperation("Illegal argument of reflexive transitive closure (*)", ctx.getCurrentAST());
        }
      }
      throw new Arity(2, getValue().asRelation().arity(), ctx.getCurrentAST());
    }
View Full Code Here
633
634
635
636
637
638
639
640
641
        throw new UnexpectedType(keyType, subscript.getType(),
            this.getSubscript());
      }
      // TODO implement other subscripts
      throw new UnsupportedOperation("subscript",
          receiver.getType(), this);

    }
View Full Code Here
TOP

Related Classes of org.rascalmpl.interpreter.staticErrors.UnsupportedOperation

  • org.rascalmpl.interpreter.matching.IteratorFactory
  • org.rascalmpl.interpreter.result.ConcreteSyntaxResult
  • org.rascalmpl.interpreter.result.ConstructorResult
  • org.rascalmpl.interpreter.result.DateTimeResult
  • org.rascalmpl.interpreter.result.ListRelationResult
  • org.rascalmpl.interpreter.result.MapResult
  • org.rascalmpl.interpreter.result.Result
  • org.rascalmpl.interpreter.result.SourceLocationResult
  • org.rascalmpl.library.resource.jdbc.JDBC
  • org.rascalmpl.semantics.dynamic.Assignable$Subscript
    • 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.