All Downloads are FREE. Search and download functionalities are using the official Maven repository.

com.articulate.sigma.Edit Maven / Gradle / Ivy

Go to download

Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org.

There is a newer version: 2.10
Show newest version

package com.articulate.sigma;

import java.io.IOException;

/** This code is copyright Articulate Software (c) 2003.  Some portions
copyright Teknowledge (c) 2003 and reused under the terms of the GNU license.
This software is released under the GNU Public License .
Users of this code also consent, by use of this code, to credit Articulate Software
and Teknowledge in any writings, briefings, publications, presentations, or 
other representations of any software which incorporates, builds on, or uses this 
code.  Please cite the following article in any publication with references:

Pease, A., (2003). The Sigma Ontology Development Environment, 
in Working Notes of the IJCAI-2003 Workshop on Ontology and Distributed Systems,
August 9, Acapulco, Mexico.
*/

/** Class for invoking a client side text editor. 
 */
public class Edit {

    public static void editFile(String filename, int lineNumber) {

        System.out.println("INFO in Edit.editFile(): Editing file " + filename);
        StringBuffer execString = new StringBuffer();
        String editorCommand = KBmanager.getMgr().getPref("editorCommand");
        String lineNumberCommand = KBmanager.getMgr().getPref("lineNumberCommand");
        if (editorCommand != null && editorCommand != "") {
            execString.append(editorCommand + " " + filename);
            if (lineNumberCommand != null && lineNumberCommand != "")
                execString.append(" " + lineNumberCommand + (new Integer(lineNumber)).toString());
            execString.append("')\">");
        }

        System.out.println("INFO in Edit.editFile(): Exec string " + execString.toString());
        try {
            Process _edit = Runtime.getRuntime().exec(execString.toString());        
        }
        catch (IOException ioe) {
            System.out.println("Error in Edit.editFile(): Unable to start editor: " + editorCommand);
            System.out.println(ioe.getMessage());
        }
    }

}





© 2015 - 2024 Weber Informatics LLC | Privacy Policy