@Override public ILexLocation defaultSBinaryExp(SBinaryExp node) throws AnalysisException { return node.getLocation(); }
public OrderedObligation(SBinaryExp node, List<PType> types, IPOContextStack ctxt,IPogAssistantFactory af) throws AnalysisException { super(node, POType.ORDERED,ctxt,node.getLocation(),af); PExp lExp = node.getLeft(); PExp rExp = node.getRight(); PExp r = stitchIsExps(types,lExp,rExp); valuetree.setPredicate(ctxt.getPredWithContext(r)); }