scphEditor
Class OperatorStore

java.lang.Object
  extended by scphEditor.OperatorStore

public class OperatorStore
extends java.lang.Object

OperatorStore stores operators and provides various retrievals. It also parses input streams for operator specifications.


Method Summary
static void clear()
          Clear the operator store.
static IOperator getById(java.lang.String id)
          Retrieve an operator by internal identifier.
static IOperator getByProverName(java.lang.String proverName)
          Retrieve an operator by a prover-side name.
static java.util.Collection getOperators()
          Retrieve all operators.
static void parse(java.io.InputStream s)
          Parses an input stream (assumes UTF-8 encoding) for operator specifications and stores them.
static void parse(java.io.Reader r)
          Parses a reader for operator specifications and stores them.
static void parse(java.lang.String filename)
          Parses a file (assumes UTF-8 encoding) for operator specificaitons and stores them.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

getById

public static IOperator getById(java.lang.String id)
Retrieve an operator by internal identifier.

Parameters:
id - an internal identifier
Returns:
the operator with internal identifier id, or null

getByProverName

public static IOperator getByProverName(java.lang.String proverName)
Retrieve an operator by a prover-side name.

Parameters:
proverName - a prover-side name
Returns:
the operator with prover-side name proverName, or null

getOperators

public static java.util.Collection getOperators()
Retrieve all operators.

Returns:
a collection containing all operators.

clear

public static void clear()
Clear the operator store.


parse

public static void parse(java.lang.String filename)
                  throws java.io.IOException
Parses a file (assumes UTF-8 encoding) for operator specificaitons and stores them.

Parameters:
filename - the name of the file
Throws:
java.io.IOException

parse

public static void parse(java.io.InputStream s)
                  throws java.io.IOException
Parses an input stream (assumes UTF-8 encoding) for operator specifications and stores them.

Parameters:
s - stream to be parsed
Throws:
java.io.IOException

parse

public static void parse(java.io.Reader r)
                  throws java.io.IOException
Parses a reader for operator specifications and stores them. Input format to be determined.

Parameters:
r - reader to be parsed
Throws:
java.io.IOException