Package wyvern.tools.types

Examples of wyvern.tools.types.Type

84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
        if (((VarDeclaration) d).isClassMember() != useClassMembers)
          continue;

        VarDeclaration vd = (VarDeclaration) d;
        String propName = vd.getName();
        Type type = vd.getType();
        FileLocation line = vd.getLocation();


        newEnv = newEnv.extend(new NameBindingImpl(propName, type));
        newEnv = newEnv.extend(
            new NameBindingImpl(
                "set" + propName.substring(0,1).toUpperCase() + propName.substring(1),
                new Arrow(type, Unit.getInstance())));
      } else if (d instanceof ValDeclaration) {
        if (((ValDeclaration) d).isClassMember() != useClassMembers)
          continue;

        ValDeclaration vd = (ValDeclaration) d;
        String propName = vd.getName();
        Type type = vd.getType();
        FileLocation line = vd.getLocation();

        DefDeclaration getter = new DefDeclaration(propName, type,
            new LinkedList<NameBinding>(), null, false, line);
View Full Code Here
154
155
156
157
158
159
160
161
162
  public static Type javaToWyvType(Class jType) {
    if (classCache.containsKey(jType))
      return classCache.get(jType);

    Type newType = javaToWyvTypeInternal(jType);
    classCache.put(jType, newType);
    return newType;
  }
View Full Code Here
226
227
228
229
230
231
232
233
234
235
236
    }
    return nArgs;
  }

  private static Type[] getArgTypes(Arrow methType) {
    Type argType = methType.getArgument();
    if (argType instanceof Tuple)
      return ((Tuple) argType).getTypeArray();
    else if (argType instanceof Unit)
      return new Type[0];
    else
View Full Code Here
265
266
267
268
269
270
271
272
273
    }
    return null;
  }

  public static boolean checkCast(Obj ref, Class jClass) {
    Type javaType = javaToWyvType(jClass);
    Type wyvernType = ref.getType();
    return wyvernType.subtype(javaType);
  }
View Full Code Here
273
274
275
276
277
278
279
280
  }



  public static boolean checkTypeCast(Type type, Class arg) {
    Type javaType = javaToWyvType(arg);
    return type.subtype(javaType);
  }
View Full Code Here
335
336
337
338
339
340
341
342
343
344
345
          methName,
          getMethodDescriptor(methType, findCandidate(methName, methType, javaType)),
          null,
          null);

      Type returnType = methType.getResult();
      Type[] parameterTypes = getArgTypes(methType);

      mv.visitCode();
      mv.visitVarInsn(ALOAD, 0);
      mv.visitFieldInsn(GETFIELD, name, "objref$wyv", "Lwyvern/tools/typedAST/core/values/Obj;");
View Full Code Here
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
    JavaClassDecl terminalsDecl = StreamSupport.stream(jcd.getDecls().getDeclIterator().spliterator(), false)
        .filter(decl -> decl instanceof JavaClassDecl)
        .<JavaClassDecl>map(decl -> (JavaClassDecl) decl)
        .filter(decl -> decl.getName().equals("Terminals"))
        .findFirst().orElseThrow(() -> new RuntimeException("Cannot find terminals class"));
    Type terminalClassType = terminalsDecl
        .extend(Environment.getEmptyEnvironment(), Environment.getEmptyEnvironment())
        .lookup("Terminals").getType();
    Type terminalObjType = terminalsDecl
        .extend(Environment.getEmptyEnvironment(), Environment.getEmptyEnvironment())
        .lookupType("Terminals").getType();

    splicers.forEach(splicer -> splicer.accept(terminalClassType,terminalObjType));


    AtomicInteger cdIdx = new AtomicInteger();
    TypedAST[] classDecls = new TypedAST[toGen.size() + toGenDefs.size() + 1];
    toGen.entrySet().stream().forEach(entry->classDecls[cdIdx.getAndIncrement()]
        = new ValDeclaration(entry.getKey(), DefDeclaration.getMethodType(entry.getValue().second().getArgBindings(), entry.getValue().first()), entry.getValue().second(), unkLoc));

    toGenDefs.entrySet().stream().forEach(entry->classDecls[cdIdx.getAndIncrement()]
        = new DefDeclaration(entry.getKey(), new Arrow(Unit.getInstance(), Unit.getInstance()), new LinkedList<>(), entry.getValue(), false));

    classDecls[cdIdx.getAndIncrement()] = new DefDeclaration("create", new Arrow(Unit.getInstance(),
        new UnresolvedType(wyvClassName)),
        Arrays.asList(),
        new New(new DeclSequence(), unkLoc), true);


    ArrayList<TypedAST> pairedObjDecls = new ArrayList<>();
    pairedObjDecls.addAll(Arrays.asList(classDecls));
    TypedAST pairedObj = new ClassDeclaration(wyvClassName, "", "", new DeclSequence(pairedObjDecls), unkLoc);

    Type parseBufferType = Util.javaToWyvType(ParseBuffer.class);


    Type javaClassType = Util.javaToWyvType(javaClass);
    TypedAST bufGet = new Application(
        new Invocation(new Variable(new NameBindingImpl("buf", null), unkLoc), "getSrcString", null, unkLoc),
        UnitVal.getInstance(unkLoc),
        unkLoc);
    ClassType emptyType =
View Full Code Here
384
385
386
387
388
389
390
391
392
393
394
          argNames.stream().map(str -> (str.getType() instanceof Int) ? "new IntegerConstant(" + str.getName() + ")" : "new StringConstant(" + str.getName() + ")").reduce((a, b) -> a + ", " + b).get()));
    };
  }

  private Pair<String, Type> parseType(NonTerminal elem) {
    Type parsedType = null;
    try {
      parsedType = LangUtil.spliceType(new IParseBuffer(elem.getReturnType()));
      ((NonTerminal) elem).setReturnType("Value");
    } catch (Exception e) {
      throw new RuntimeException(e);
View Full Code Here
394
395
396
397
398
399
400
401
402
403
404
      throw new RuntimeException(e);
    }
    return new Pair<String, Type>(elem.getName().toString(), parsedType);
  }
  private Pair<String, Type> parseType(Terminal elem) {
    Type parsedType = null;
    try {
      parsedType = LangUtil.spliceType(new IParseBuffer(elem.getReturnType()));
      elem.setReturnType("Value");
    } catch (Exception e) {
      throw new RuntimeException(e);
View Full Code Here
418
419
420
421
422
423
424
425
426
427
428
      String oCode = term.getCode();

      CopperElementName termName = term.getName();
      String newName = getNextName(methNum, termName);

      Type resType = lhsEnv.lookup(term.getName().toString()).getType();

      splicers.add((termClassType,termObjType) -> {
            SpliceBindExn spliced = LangUtil.spliceBinding(new IParseBuffer(oCode), Arrays.asList(new NameBinding[]{
                new NameBindingImpl("lexeme", Str.getInstance()),
                new NameBindingImpl("pushToken", new Arrow(new Tuple(termObjType, Str.getInstance()), Unit.getInstance())),
View Full Code Here
TOP

Related Classes of wyvern.tools.types.Type

  • wyvern.tools.imports.extensions.WyvernResolver$WyvernBinder
  • wyvern.tools.parsing.DSLLit
  • wyvern.tools.parsing.parselang.CopperTSL
  • wyvern.tools.tests.CopperTests
  • wyvern.tools.typedAST.core.declarations.DefDeclaration
  • wyvern.tools.typedAST.core.declarations.TypeDeclaration
  • wyvern.tools.typedAST.core.declarations.ValDeclaration
  • wyvern.tools.typedAST.core.declarations.VarDeclaration
  • wyvern.tools.typedAST.core.expressions.Application
  • wyvern.tools.typedAST.core.expressions.Assignment
    • 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.