SuokifApp (Sigma API Specification)

java.lang.Object

com.articulate.sigma.parsing.SuokifApp

public class SuokifApp extends Object

Example App showing 3 various ways to parse SUO-KIF and show the results

Constructor Summary

Constructors

Constructor

Description

SuokifApp()
Method Summary

Modifier and Type

Method

Description

static void

main(String[] args)

Command line entry point for the APP

static SuokifVisitor

process(Formula fast)

Process the given SUO-KIF

static SuokifVisitor

process(File file)

Process the given SUO-KIF

static SuokifVisitor

process(String input)

Process the given SUO-KIF

static void

showHelp()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- SuokifApp
  
  public SuokifApp()
Method Details
- process
  
  public static SuokifVisitor process(String input)
  
  Process the given SUO-KIF
  
  Parameters:
  
  input - the SUO-KIF to process
  
  Returns:
  
  and instance of the SuokifVisitor
- process
  
  public static SuokifVisitor process(Formula fast)
  
  Process the given SUO-KIF
  
  Parameters:
  
  fast - the SUO-KIF formula to process
  
  Returns:
  
  and instance of the SuokifVisitor
- process
  
  public static SuokifVisitor process(File file)
  
  Process the given SUO-KIF
  
  Parameters:
  
  file - the SUO-KIF file to process
  
  Returns:
  
  and instance of the SuokifVisitor
- showHelp
  
  public static void showHelp()
- main
  
  public static void main(String[] args) throws IOException
  
  Command line entry point for the APP
  
  Parameters:
  
  args - common line arguments if any
  
  Throws:
  
  IOException - if SUO-KIF reading goes south