Exemplo n.º 1
0
 /*
  * @see
  * org.jakstab.analysis.LatticeElement#lessOrEqual(org.jakstab.analysis.
  * LatticeElement)
  */
 @Override
 public boolean lessOrEqual(LatticeElement l) {
   if (l.isTop() || this.isBot()) return true;
   if (isTop() || l.isBot()) return false;
   SubstitutionElement other = (SubstitutionElement) l;
   if (expression.equals(other.getExpression())) return true;
   return false;
 }
Exemplo n.º 2
0
 /*
  * @see
  * org.jakstab.analysis.AbstractValue#join(org.jakstab.analysis.LatticeElement
  * )
  */
 @Override
 public SubstitutionElement join(LatticeElement l) {
   if (l.isBot()) return this;
   SubstitutionElement other = (SubstitutionElement) l;
   if (this.isBot()) return other;
   if (expression.equals(other.getExpression())) return this;
   return TOP;
 }