lij.model
Class Framework

java.lang.Object
  extended by lij.model.Framework

public class Framework
extends java.lang.Object

This class contains the IM's Role and Clause definitions.

Author:
Nikolaos Chatzinikolaou

Field Summary
private  java.util.HashMap<Term,Clause> clauses
           
private  java.util.HashMap<Term,Role> roles
           
 
Constructor Summary
Framework()
           
 
Method Summary
 void addClause(Clause newClause)
          Adds a new Clause into the Framework's map of Clause definitions.
 void addRole(Role newRole)
          Adds a new Role into the Framework's map of Role definitions.
 java.util.HashMap<Term,Clause> getClauses()
          Accessor.
 Role getInitialRole()
          Returns the Role definition that is of the kind "initial".
 java.util.HashMap<Term,Role> getRoles()
          Accessor.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

roles

private java.util.HashMap<Term,Role> roles

clauses

private java.util.HashMap<Term,Clause> clauses
Constructor Detail

Framework

public Framework()
Method Detail

getRoles

public java.util.HashMap<Term,Role> getRoles()
Accessor.

Returns:
A map containing the Framework's Role definitions.

getClauses

public java.util.HashMap<Term,Clause> getClauses()
Accessor.

Returns:
A map containing the Framework's Clause definitions.

addRole

public void addRole(Role newRole)
             throws InterpreterException
Adds a new Role into the Framework's map of Role definitions.

Parameters:
newRole - The Role to add.
Throws:
InterpreterException

addClause

public void addClause(Clause newClause)
               throws InterpreterException
Adds a new Clause into the Framework's map of Clause definitions.

Parameters:
newClause - The Clause to add.
Throws:
InterpreterException

getInitialRole

public Role getInitialRole()
                    throws InterpreterException
Returns the Role definition that is of the kind "initial".

Returns:
The initial Role definition.
Throws:
InterpreterException

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object