示例#1
0
 public SimplifierContext
     (CompilationEnvironment compEnv,
     JST.NameSupply nameSupply,
     ISimplifierDatabase database,
     CSTWriter trace)
 {
     CompEnv        = compEnv;
     NameSupply     = nameSupply;
     subst          = new Map <JST.Identifier, Expression>();
     statements     = null;
     contextEffects = JST.Effects.Bottom;
     Database       = database;
     Trace          = trace;
 }
示例#2
0
 public SimplifierContext
     (CompilationEnvironment compEnv,
      JST.NameSupply nameSupply,
      ISimplifierDatabase database,
      CSTWriter trace)
 {
     CompEnv = compEnv;
     NameSupply = nameSupply;
     subst = new Map<JST.Identifier, Expression>();
     statements = null;
     contextEffects = JST.Effects.Bottom;
     Database = database;
     Trace = trace;
 }
示例#3
0
 protected SimplifierContext
     (CompilationEnvironment compEnv,
     JST.NameSupply nameSupply,
     Map <JST.Identifier, Expression> subst,
     Seq <Statement> statements,
     JST.Effects contextEffects,
     ISimplifierDatabase database,
     CSTWriter trace)
 {
     CompEnv             = compEnv;
     NameSupply          = nameSupply;
     this.subst          = subst;
     this.statements     = statements;
     this.contextEffects = contextEffects;
     Database            = database;
     Trace = trace;
 }
示例#4
0
 protected SimplifierContext
     (CompilationEnvironment compEnv,
      JST.NameSupply nameSupply,
      Map<JST.Identifier, Expression> subst,
      Seq<Statement> statements,
      JST.Effects contextEffects,
      ISimplifierDatabase database,
      CSTWriter trace)
 {
     CompEnv = compEnv;
     NameSupply = nameSupply;
     this.subst = subst;
     this.statements = statements;
     this.contextEffects = contextEffects;
     Database = database;
     Trace = trace;
 }