Java ProvaVariable.getAssigned Examples

Example #1

File: ProvaUnificationImpl.java Project: shashi792/prova

 @Override
 public boolean targetUnchanged() {
   for (ProvaVariable var : targetVariables) {
     if (var.getAssigned() != null
         && (!(var.getAssigned() instanceof ProvaVariable)
             || var.getType() != ((ProvaVariable) var.getAssigned()).getType())) return false;
   }
   return true;
 }

Example #2

File: ProvaUnificationImpl.java Project: shashi792/prova

 private boolean isSourceSubstituted() {
   for (ProvaVariable variable : sourceVariables) if (variable.getAssigned() != null) return true;
   return false;
 }