public IRInfo() { super(); this.visitorManager = new VisitorManager(); this.assistantManager = new AssistantManager(); this.tcFactory = new TypeCheckerAssistantFactory(); this.quoteVaues = new LinkedList<String>(); this.unsupportedNodes = new HashSet<VdmNodeInfo>(); this.transformationWarnings = new HashSet<IrNodeInfo>(); this.tempVarNameGen = new TempVarNameGen(); this.settings = new IRSettings(); this.idStateDesignatorDefs = new HashMap<AIdentifierStateDesignator, PDefinition>(); this.classes = new LinkedList<SClassDeclIR>(); this.modules = new LinkedList<AModuleDeclIR>(); this.slStateReads = new LinkedList<>(); this.instantiatedClasses = new HashSet<>(); }
public static void printUnsupportedIrNodes( Set<VdmNodeInfo> unsupportedNodes) { AssistantManager assistantManager = new AssistantManager(); LocationAssistantIR locationAssistant = assistantManager.getLocationAssistant(); List<VdmNodeInfo> nodesSorted = locationAssistant.getVdmNodeInfoLocationSorted(unsupportedNodes); for (VdmNodeInfo vdmNodeInfo : nodesSorted) { MsgPrinter.getPrinter().print(vdmNodeInfo.getNode().toString() + " (" + vdmNodeInfo.getNode().getClass().getSimpleName() + ")"); ILexLocation location = locationAssistant.findLocation(vdmNodeInfo.getNode()); MsgPrinter.getPrinter().print(location != null ? " at [line, pos] = [" + location.getStartLine() + ", " + location.getStartPos() + "] in " + location.getFile().getName() : ""); String reason = vdmNodeInfo.getReason(); if (reason != null) { MsgPrinter.getPrinter().print(". Reason: " + reason); } MsgPrinter.getPrinter().println(""); } }
public static void printUnsupportedNodes(Set<IrNodeInfo> unsupportedNodes) AssistantManager assistantManager = new AssistantManager(); LocationAssistantIR locationAssistant = assistantManager.getLocationAssistant();