Java ProvaVariable.getType 예제들

예제 #1

파일: ProvaUnificationImpl.java 프로젝트: 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;
 }