Package edu.cmu.cs.crystal.util

Examples of edu.cmu.cs.crystal.util.TypeHierarchy

93
94
95
96
97
98
99
100
101
102
103
    aliases.addAlias(vars[1], labels[1]);
  }
 
  public TestFullBoundEffects() {
    super(null, null, Variant.PRAGMATIC_VARIANT, null);
    types = new TypeHierarchy() {
      public boolean existsCommonSubtype(String t1, String t2, boolean skipCheck1, boolean skipCheck2) {
        if (!skipCheck1 && isSubtypeCompatible(t1, t2) || !skipCheck2 && isSubtypeCompatible(t2, t1))
          return true;
        else if (t1.equals("Bar"))
          return t2.equals("Baz");
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
    aliases.addAlias(vars[1], labels[1]);
  }
 
  public TestFullBoundRequiresComplete() {
    super(null, null, Variant.COMPLETE_VARIANT, null);
    types = new TypeHierarchy() {
      public boolean existsCommonSubtype(String t1, String t2, boolean skipCheck1, boolean skipCheck2) {
        if (!skipCheck1 && isSubtypeCompatible(t1, t2) || !skipCheck2 && isSubtypeCompatible(t2, t1))
          return true;
        else if (t1.equals("Bar"))
          return t2.equals("Baz");
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
    aliases.addAlias(vars[1], labels[1]);
  }
 
  public TestFullBoundRequiresPragmatic() {
    super(null, null, Variant.PRAGMATIC_VARIANT, null);
    types = new TypeHierarchy() {
      public boolean existsCommonSubtype(String t1, String t2, boolean skipCheck1, boolean skipCheck2) {
        if (!skipCheck1 && isSubtypeCompatible(t1, t2) || !skipCheck2 && isSubtypeCompatible(t2, t1))
          return true;
        else if (t1.equals("Bar"))
          return t2.equals("Baz");
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
    aliases.addAlias(vars[1], labels[1]);
  }
 
  public TestFullBoundRequiresSound() {
    super(null, null, Variant.SOUND_VARIANT, null);
    types = new TypeHierarchy() {
      public boolean existsCommonSubtype(String t1, String t2, boolean skipCheck1, boolean skipCheck2) {
        if (!skipCheck1 && isSubtypeCompatible(t1, t2) || !skipCheck2 && isSubtypeCompatible(t2, t1))
          return true;
        else if (t1.equals("Bar"))
          return t2.equals("Baz");
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
    aliases.addAlias(vars[1], labels[1]);
  }
 
  public TestFullyBoundRestrictions() {
    super(null, null, Variant.SOUND_VARIANT, null);
    types = new TypeHierarchy() {
      public boolean existsCommonSubtype(String t1, String t2, boolean skipCheck1, boolean skipCheck2) {
        if (!skipCheck1 && isSubtypeCompatible(t1, t2) || !skipCheck2 && isSubtypeCompatible(t2, t1))
          return true;
        else if (t1.equals("Bar"))
          return t2.equals("Baz");
View Full Code Here
69
70
71
72
73
74
75
76
77
78
79
   
  }
 
  public TestSingleConstraint() {
    super(null, null, Variant.PRAGMATIC_VARIANT, null);
    types = new TypeHierarchy() {
      public boolean existsCommonSubtype(String t1, String t2, boolean skipCheck1, boolean skipCheck2) {
        if (!skipCheck1 && isSubtypeCompatible(t1, t2) || !skipCheck2 && isSubtypeCompatible(t2, t1))
          return true;
        else if (t1.equals("Bar"))
          return t2.equals("Baz");
View Full Code Here
119
120
121
122
123
124
125
126
127
128
129
    if (majorErrorOccured) {
      log.log(Level.SEVERE, "something was wrong in initial setup, check log above");
      return;
    }
    try {
      TypeHierarchy types = sharedData.getHierarchy();
      AbstractTACBranchSensitiveTransferFunction<AC> aliasTF = getAliasTransferFunction(retriever);
      ILatticeOperations<AC> ops = getAliasLatticeOps();
     
      RelationshipTransferFunction<AC> tfR = new RelationshipTransferFunction<AC>(this, constraints, infers, types, retriever, aliasTF, ops);
      fa = new TACFlowAnalysis<FusionLattice<AC>>(tfR, this.analysisInput.getComUnitTACs().unwrap());
View Full Code Here
TOP

Related Classes of edu.cmu.cs.crystal.util.TypeHierarchy

  • edu.cmu.cs.fusion.FusionAnalysis
  • edu.cmu.cs.fusion.relationship.TestFullBoundEffects
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresComplete
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresPragmatic
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresSound
  • edu.cmu.cs.fusion.relationship.TestFullyBoundRestrictions
  • edu.cmu.cs.fusion.relationship.TestSingleConstraint
    • 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.