Package org.rascalmpl.ast

Examples of org.rascalmpl.ast.Parameters

38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
    @Override
    public Type typeOf(Environment env, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {
      RascalTypeFactory RTF = org.rascalmpl.interpreter.types.RascalTypeFactory
          .getInstance();
      Parameters parameters = getParameters();
      Type kwParams = TF.voidType();

      if (parameters.hasKeywordFormals() && parameters.getKeywordFormals().hasKeywordFormalList()) {
        List<KeywordFormal> kwd = parameters.getKeywordFormals().getKeywordFormalList();
        kwParams = TypeDeclarationEvaluator.computeKeywordParametersType(kwd, eval);
      }

      return RTF.functionType(getType().typeOf(env, instantiateTypeParameters, eval), parameters.typeOf(env, instantiateTypeParameters, eval), kwParams);
    }
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
74
75
76
    public Type typeOf(Environment env, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {
      RascalTypeFactory RTF = RascalTypeFactory.getInstance();

      Type kwParams = TF.voidType();

      Parameters parameters = getParameters();

      if (parameters.hasKeywordFormals() && parameters.getKeywordFormals().hasKeywordFormalList()) {
        List<KeywordFormal> kwd = parameters.getKeywordFormals().getKeywordFormalList();
        kwParams = TypeDeclarationEvaluator.computeKeywordParametersType(kwd, eval);
      }

      return RTF.functionType(getType().typeOf(env, instantiateTypeParameters, eval), getParameters()
          .typeOf(env, instantiateTypeParameters, eval), kwParams);
View Full Code Here
393
394
395
396
397
398
399
400
401
402
403
    }
   
    for(ClassLoader loader : loaders){
      try{
        Class<?> clazz = loader.loadClass(className);
        Parameters parameters = func.getSignature().getParameters();
        Class<?>[] javaTypes = getJavaTypes(parameters, env, hasReflectiveAccess);

        try{
          Method m;
         
View Full Code Here
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
  public IConstructor getFirstOutermostProduction() {
    return firstOutermostProduction;
  }
 
  private List<Expression> cacheFormals() throws ImplementationError {
    Parameters params;
    List<Expression> formals;
   
    if (ast instanceof FunctionDeclaration) {
      params = ((FunctionDeclaration) ast).getSignature().getParameters();
    }
    else if (ast instanceof Closure) {
      params = ((Closure) ast).getParameters();
    }
    else if (ast instanceof VoidClosure) {
      params = ((VoidClosure) ast).getParameters();
    }
    else {
      throw new ImplementationError("Unexpected kind of Rascal function: " + ast);
    }
   
    formals = params.getFormals().getFormals();
   
    if (params.isVarArgs() && formals.size() > 0) {
      // deal with varags, change the last argument to a list if its not a pattern
      Expression last = formals.get(formals.size() - 1);
      if (last.isTypedVariable()) {
        org.rascalmpl.ast.Type oldType = last.getType();
        ISourceLocation origin = last.getLocation();
View Full Code Here
2844
2845
2846
2847
2848
2849
2850
2851
2852
2853
2854
2855
2856
2857
2858
2859
2860
2861
    public Result<IValue> interpret(IEvaluator<Result<IValue>> eval) {

      eval.setCurrentAST(this);
      eval.notifyAboutSuspension(this);     

      Parameters parameters = getParameters();
      Type formals = parameters.typeOf(eval.getCurrentEnvt(), true, eval);
      RascalTypeFactory RTF = RascalTypeFactory.getInstance();

      Type kwParams = TF.voidType();
      java.util.List<KeywordFormal> kws = parameters.getKeywordFormals().hasKeywordFormalList() ? parameters.getKeywordFormals().getKeywordFormalList() : Collections.<KeywordFormal>emptyList();
     
      if (parameters.hasKeywordFormals() && parameters.getKeywordFormals().hasKeywordFormalList()) {
        kwParams = TypeDeclarationEvaluator.computeKeywordParametersType(kws, eval);
      }

      return new RascalFunction(this, eval, null, (FunctionType) RTF
          .functionType(TF.voidType(), formals, kwParams), kws, this.getParameters()
View Full Code Here
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
    public Result<IValue> interpret(IEvaluator<Result<IValue>> __eval) {
      __eval.setCurrentAST(this);
      __eval.notifyAboutSuspension(this);     

      Environment env = __eval.getCurrentEnvt();
      Parameters parameters = getParameters();
      Type formals = parameters.typeOf(env, true, __eval);
      Type returnType = typeOf(env, true, __eval);
      RascalTypeFactory RTF = RascalTypeFactory.getInstance();

      Type kwParams = TF.voidType();

      java.util.List<KeywordFormal> kwd = parameters.getKeywordFormals().hasKeywordFormalList() ? parameters.getKeywordFormals().getKeywordFormalList() : Collections.<KeywordFormal>emptyList();
     
      if (parameters.hasKeywordFormals() && parameters.getKeywordFormals().hasKeywordFormalList()) {
        kwParams = TypeDeclarationEvaluator.computeKeywordParametersType(kwd, __eval);
      }

      return new RascalFunction(this, __eval, null,
          (FunctionType) RTF.functionType(returnType, formals, kwParams),
View Full Code Here
TOP

Related Classes of org.rascalmpl.ast.Parameters

  • org.rascalmpl.interpreter.result.RascalFunction
  • org.rascalmpl.interpreter.utils.JavaBridge
  • org.rascalmpl.semantics.dynamic.Expression$Closure
  • org.rascalmpl.semantics.dynamic.Expression$VoidClosure
  • org.rascalmpl.semantics.dynamic.Signature$NoThrows
  • org.rascalmpl.semantics.dynamic.Signature$WithThrows
    • 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.