Examples of LateNameBinding


Examples of wyvern.tools.typedAST.core.binding.typechecking.LateNameBinding

    this.body = new EnvironmentExtInner(fileLocation) {
      @Override
      public Environment extendType(Environment env, Environment against) {
        Type type = TypeResolver.resolve(body, against);
        return env.extend(new TypeBinding(name, type, metadataObj))
            .extend(new LateNameBinding(name, () -> metadataObj.get().getType()));
      }



      @Override
View Full Code Here

Examples of wyvern.tools.typedAST.core.binding.typechecking.LateNameBinding

    typeBinding = new TypeBinding(name, null, metadata);
    Type objectType = new TypeType(this);
    attrEnv.set(attrEnv.get().extend(new TypeDeclBinding("type", this)));
   
    Type classType = new ClassType(attrEnv, attrEnv, new LinkedList<String>(), getName()); // TODO set this to a class type that has the class members
    nameBinding = new LateNameBinding(nameBinding.getName(), () -> metadata.get().getType());

    typeBinding = new TypeBinding(nameBinding.getName(), objectType, metadata);
   
    // System.out.println("TypeDeclaration: " + nameBinding.getName() + " is now bound to type: " + objectType);
   
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.