Examples of LoopCounter

Examples of edu.cmu.cs.crystal.analysis.metrics.LoopCounter

63
64
65
66
67
68
69
  private LoopCounter loopCounter;
 
  public MayAliasTransferFunction(ICrystalAnalysis analysis) {
    labelContext = new HashMap<Variable, ObjectLabel>();
    loopCounter = new LoopCounter();
  }
View Full Code Here

Examples of edu.cmu.cs.crystal.analysis.metrics.LoopCounter

63
64
65
66
67
68
69
  private LoopCounter loopCounter;
 
  public MayAliasTransferFunction(ICrystalAnalysis analysis) {
    labelContext = new HashMap<Variable, ObjectLabel>();
    loopCounter = new LoopCounter();
  }
View Full Code Here

Examples of edu.cmu.cs.crystal.analysis.metrics.LoopCounter

59
60
61
62
63
64
65
66
67
68
69
  //really then, should only store the cache when we are, in fact, in a loop.
  private Map<Variable, Set<ObjectLabel>> loopedVariables;

  public MayPointsToTransferFunctions(DeclarativeRetriever retriever, TypeHierarchy types) {
    ops = new PointsToLatticeOps(types);
    loopCounter = new LoopCounter();
    this.retriever = retriever;
    this.types = types;
    knownLiterals =  new HashMap<Object, ObjectLabel>();
    loopedVariables = new HashMap<Variable, Set<ObjectLabel>>();
    knownLiterals.put(null, new LiteralLabel(null, "java.lang.Object"));
View Full Code Here

Examples of edu.cmu.cs.crystal.analysis.metrics.LoopCounter

63
64
65
66
67
68
69
70
71
72
73
  //really then, should only store the cache when we are, in fact, in a loop.
  private Map<Variable, Set<ObjectLabel>> loopedVariables;

  public MustPointsToTransferFunctions(DeclarativeRetriever retriever, TypeHierarchy types) {
    ops = new PointsToLatticeOps(types);
    loopCounter = new LoopCounter();
    this.retriever = retriever;
    this.types = types;
    knownLiterals =  new HashMap<Object, ObjectLabel>();
    loopedVariables = new HashMap<Variable, Set<ObjectLabel>>();
    receiverFields = new HashMap<IVariableBinding, Variable>();
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.