Examples of wyvern.tools.types.UnresolvedType


    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<>();


  public Type resolve(Environment env) {
    // System.out.println("Inside TypeInv innerType = " + innerType + " and its class is " + innerType.getClass());
    
    if (this.innerType instanceof UnresolvedType) {
      UnresolvedType ut = (UnresolvedType) this.innerType;
      Type t = ut.resolve(env);
      
      // System.out.println("GOT: " + t);
    }
    TypeBinding fetched = ((RecordType) innerType).getInnerType(invName);

Related Classes of wyvern.tools.types.UnresolvedType

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.