revisionlogic
Class COBAApp

java.lang.Object
  revisionlogic.COBAApp

class COBAApp

extends java.lang.Object

COBAApp is an interactive menu-based command-line version of COBA 2.0. It provides a main function as the initial entry for the user to use the command-line version of COBA 2.0.

Author:

Daphne Liu, daphnel@sfu.ca

Field Summary

(package private) BeliefChangeSzenario	bcs A reference to the current belief change scenario.
(package private) java.lang.String	contFile The path of the current contraction input file.
(package private) static java.lang.String[]	fileTypes The strings indicating whether the input file is used as revisions or as entailment-based integrity constraints.
(package private) java.lang.String	kbFile The path of the current KB input file.
(package private) java.lang.String	revFile The path of the current revision input file.

Constructor Summary

(package private)

COBAApp() Creates a new default COBAApp.

Method Summary

static void

main(java.lang.String[] args) Provides the initial entry point for the command-line menu version of COBA.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

fileTypes

static java.lang.String[] fileTypes

The strings indicating whether the input file is used as revisions or as entailment-based integrity constraints.

bcs

BeliefChangeSzenario bcs

A reference to the current belief change scenario.

kbFile

java.lang.String kbFile

The path of the current KB input file.

revFile

java.lang.String revFile

The path of the current revision input file.

contFile

java.lang.String contFile

The path of the current contraction input file.

Constructor Detail

COBAApp

COBAApp()

Creates a new default COBAApp.

Method Detail

main

public static void main(java.lang.String[] args)

Provides the initial entry point for the command-line menu version of COBA.

Parameters:

args - an array of arguments specifying the path of the KB input file, the path of the revision input file, the path of the contraction input file.