Package edu.cmu.cs.crystal.analysis.constant

Examples of edu.cmu.cs.crystal.analysis.constant.BooleanConstantLE


  public ThreeValue getBooleanValue(ObjectLabel label) {
    ThreeValue value = cache.get(label);
   
    if (value == null) {
      BooleanConstantLE labelConstant = BooleanConstantLE.BOTTOM;
      BooleanConstantLatticeOps boolOps = new BooleanConstantLatticeOps();
     
      for (Variable var : aliasLattice.getVariables()) {
        if (aliasLattice.getAliases(var).contains(label)) {
          BooleanConstantLE varConstant = boolLattice.get(var);
          labelConstant = boolOps.join(labelConstant, varConstant);
        }
      }
      if (labelConstant == BooleanConstantLE.TRUE)
        value = ThreeValue.TRUE;
View Full Code Here

TOP

Related Classes of edu.cmu.cs.crystal.analysis.constant.BooleanConstantLE

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.