main

Class JLPS

java.lang.Object

main.JLPS

public class JLPS
extends Object

Constructor Summary

Constructors

Constructor and Description
JLPS()

Method Summary

Methods

Modifier and Type	Method and Description
static org.antlr.runtime.CharStream	fileOpener(String path, boolean absolutePath)
static void	fileReader(org.antlr.runtime.CharStream fileStream, Set<String> facts, Set<String> actions)
private static void	limitUserInitialization(Set<String> facts, Set<String> actions, Scanner sc)
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

JLPS

public JLPS()

Method Detail

fileOpener

public static org.antlr.runtime.CharStream fileOpener(String path,
                                      boolean absolutePath)
                                               throws IOException

Throws:

IOException

fileReader

public static void fileReader(org.antlr.runtime.CharStream fileStream,
              Set<String> facts,
              Set<String> actions)
                       throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

limitUserInitialization

private static void limitUserInitialization(Set<String> facts,
                           Set<String> actions,
                           Scanner sc)

main

public static void main(String[] args)
                 throws IOException

Parameters:

args - the arguments of the program.

Throws:

IOException