Package org.semanticweb.HermiT.debugger.Debugger

Examples of org.semanticweb.HermiT.debugger.Debugger.NodeCreationInfo

65
66
67
68
69
70
71
72
73
74
75
        writer.flush();
        showTextInWindow(buffer.toString(),"Nodes with existentials");
        selectConsoleWindow();
    }
    protected void printStartExistential(Node node,PrintWriter writer) {
        NodeCreationInfo nodeCreationInfo=m_debugger.getNodeCreationInfo(node);
        ExistentialConcept startExistential=nodeCreationInfo.m_createdByExistential;
        if (startExistential==null)
            writer.print("(root)");
        else
            writer.print(startExistential.toString(m_debugger.getPrefixes()));
View Full Code Here
199
200
201
202
203
204
205
206
207
208
209
        }
        public void removeTreeModelListener(TreeModelListener listener) {
            m_eventListeners.remove(TreeModelListener.class,listener);
        }
        public Node getChild(Object parent,int index) {
            NodeCreationInfo nodeCreationInfo = null;
            if (parent instanceof Node) {
                nodeCreationInfo = m_debugger.getNodeCreationInfo((Node) parent);
            }
            if (nodeCreationInfo==null)
                return null;
View Full Code Here
209
210
211
212
213
214
215
216
217
218
219
                return null;
            else
                return nodeCreationInfo.m_children.get(index);
        }
        public int getChildCount(Object parent) {
            NodeCreationInfo nodeCreationInfo = null;
            if (parent instanceof Node) {
                nodeCreationInfo = m_debugger.getNodeCreationInfo((Node) parent);
            }
            if (nodeCreationInfo==null) {
                return 0;
View Full Code Here
220
221
222
223
224
225
226
227
228
229
230
            } else {
                return nodeCreationInfo.m_children.size();
            }
        }
        public int getIndexOfChild(Object parent,Object child) {
            NodeCreationInfo nodeCreationInfo = null;
            if (parent instanceof Node) {
                nodeCreationInfo = m_debugger.getNodeCreationInfo((Node) parent);
            }
            if (nodeCreationInfo==null) {
                return -1;
View Full Code Here
TOP

Related Classes of org.semanticweb.HermiT.debugger.Debugger.NodeCreationInfo

  • org.semanticweb.HermiT.debugger.commands.ShowExistsCommand
  • org.semanticweb.HermiT.debugger.commands.SubtreeViewer$SubtreeTreeModel
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.