Examples of org.eclipse.imp.pdb.facts.type.TypeStore

org.eclipse.imp.pdb.facts.type.TypeStore

      }
    }); 
  }


  private static TypeStore constructCompleteTypeStore(Environment env) {
      TypeStore complete = new TypeStore();
      ModuleEnvironment mod = (ModuleEnvironment) env.getRoot();
    constructCompleteTypeStoreRec(complete, mod, new HashSet<java.lang.String>());
    return complete;
  }

View Full Code Here

//    return null;
//  }


  // REFLECT -- copy in PreludeCompiled
  public IValue implode(IValue reifiedType, IConstructor tree, IEvaluatorContext ctx) {
    TypeStore store = new TypeStore();
    Type type = tr.valueToType((IConstructor) reifiedType, store);
    try {
      IValue result = implode(store, type, tree, false, ctx); 
      if (isUntypedNodeType(type) && !type.isTop() && (TreeAdapter.isList(tree) || TreeAdapter.isOpt(tree))) {
        // Ensure the result is actually a node, even though

View Full Code Here

  
  // REFLECT -- copy in PreludeCompiled
  public IValue readBinaryValueFile(IValue type, ISourceLocation loc, IEvaluatorContext ctx){
    
//    TypeStore store = ctx.getCurrentEnvt().getStore();
    TypeStore store = new TypeStore();
    
// TODO: commented out the following lines and that seems to sove the duplicate declaration of ParseTree.
//     Why was this import here? Can someone check?
    
//    ModuleEnvironment pt = ctx.getHeap().getModule("ParseTree");

View Full Code Here

  
  // REFLECT -- copy in PreludeCompiled
  public IValue readTextValueFile(IValue type, ISourceLocation loc, IEvaluatorContext ctx){
    loc = ctx.getHeap().resolveSourceLocation(loc);
    
      TypeStore store = new TypeStore();
    Type start = tr.valueToType((IConstructor) type, store);
    
    InputStream in = null;
    try{
      in = new BufferedInputStream(ctx.getResolverRegistry().getInputStream(loc.getURI()));

View Full Code Here

  }
  
  // REFLECT -- copy in PreludeCompiled
  public IValue readTextValueString(IValue type, IString input, IEvaluatorContext ctx) {
//    TypeStore store = ctx.getCurrentEnvt().getStore();
    TypeStore store = new TypeStore();
    ModuleEnvironment pt = ctx.getHeap().getModule("ParseTree");
    if(pt != null){
      store.importStore(pt.getStore());
    }
    Type start = tr.valueToType((IConstructor) type, store);
    
    StringReader in = new StringReader(input.getValue());
    try {

View Full Code Here

0 1 2 3

TOP

Related Classes of org.eclipse.imp.pdb.facts.type.TypeStore

org.rascalmpl.interpreter.env.ModuleEnvironment

org.rascalmpl.interpreter.JavaToRascal

org.rascalmpl.interpreter.result.StringResult

org.rascalmpl.interpreter.TypeReifier

org.rascalmpl.library.experiments.Compiler.RVM.Interpreter.ParserGenerator

org.rascalmpl.library.experiments.Compiler.RVM.Interpreter.RascalExecutionContext

org.rascalmpl.library.experiments.Compiler.RVM.Interpreter.Types

org.rascalmpl.library.experiments.resource.Resource

org.rascalmpl.library.experiments.resource.resources.BaseResource

org.rascalmpl.library.lang.aterm.IO

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.