List<OVInstance> ovInstanceList = new ArrayList<OVInstance>();
ContextNodeEvaluator avaliator = new ContextNodeEvaluator(kb);
//1 Evaluate if the context node attend to restrictions and fill the ovinstancelist
if(!avaliator.testContextNodeFormatRestriction(contextNode)){
throw new ImplementationRestrictionException(
ImplementationRestrictionException.INVALID_CTXT_NODE_FORMULA);
};
Collection<OrdinaryVariable> contextOrdinaryVariableList = contextNode.getVariableList();
for(OrdinaryVariable ov: contextOrdinaryVariableList){
if(!ov.equals(ovFault)){
List<OVInstance> ovInstanceForOvList = mFragInstance.getOVInstanceListForOrdinaryVariable(ov);
if(ovInstanceForOvList.size() > 1){
throw new ImplementationRestrictionException(
ImplementationRestrictionException.ONLY_ONE_OVINSTANCE_FOR_OV);
}else{
ovInstanceList.add(ovInstanceForOvList.get(0));
}
}