Package edu.cmu.cs.fusion.alias

Examples of edu.cmu.cs.fusion.alias.AliasContext

116
117
118
119
120
121
122
123
124
125
126
      }
    }
  }

  private void check(TACInstruction instr, ASTNode node) {
    AliasContext triggerAliases = fa.getPointsToResultsIntermediate(node);
    RelationshipContext rels = fa.getRelResultsBefore(node);
    BooleanContext bools = new BooleanConstantWrapper(node, fa.getBooleanAnalysis(), triggerAliases);
    FusionEnvironment<?> triggerEnv = new FusionEnvironment<AliasContext>(triggerAliases, rels , bools, fa.getHierarchy(), fa.getInfers(), fa.getVariant());
   
    if (rels.isBottom()) {
View Full Code Here
TOP

Related Classes of edu.cmu.cs.fusion.alias.AliasContext

  • edu.cmu.cs.fusion.ErrorReporterVisitor
    • 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.