Inheritance diagram for it.unical.mat.embasp.languages.datalog.DatalogInputProgram:

Public Member Functions
	DatalogInputProgram ()

	DatalogInputProgram (final Object inputObj) throws Exception

	DatalogInputProgram (final String initialProgram)

void	addObjectInput (final Object inputObj) throws Exception

void	addObjectsInput (final Set< Object > inputObjects) throws Exception

Public Member Functions inherited from it.unical.mat.embasp.base.InputProgram
	InputProgram ()

	InputProgram (final Object inputObj) throws Exception

	InputProgram (final String initial_program)

void	addFilesPath (final String file_path)

void	addProgram (final String new_instruction)

void	clearAll ()

void	clearFilesPaths ()

void	clearPrograms ()

List< String >	getFilesPaths ()

String	getPrograms ()

String	getSeparator ()

String	getStringOfFilesPaths ()

void	setPrograms (final String programs)

void	setSeparator (final String separator)

Additional Inherited Members
Protected Attributes inherited from it.unical.mat.embasp.base.InputProgram
String	programs

String	separator

Detailed Description

This class models a generic Datalog input program. It provides the user with the possibility to add a fact to the program in the form of an annotated object.

Constructor & Destructor Documentation

◆ DatalogInputProgram() [1/3]

it.unical.mat.embasp.languages.datalog.DatalogInputProgram.DatalogInputProgram ( )

inline

◆ DatalogInputProgram() [2/3]

it.unical.mat.embasp.languages.datalog.DatalogInputProgram.DatalogInputProgram ( final Object inputObj ) throws Exception

inline

◆ DatalogInputProgram() [3/3]

it.unical.mat.embasp.languages.datalog.DatalogInputProgram.DatalogInputProgram ( final String initialProgram )

inline

Member Function Documentation

◆ addObjectInput()

void it.unical.mat.embasp.languages.datalog.DatalogInputProgram.addObjectInput ( final Object inputObj ) throws Exception

inline

Transforms a properly-annotated object into a program string (a fact) and appends it to programs

Parameters

inputObj the object to be transformed

Exceptions

IllegalAccessException,IllegalArgumentException,InvocationTargetException,NoSuchMethodException,SecurityException,IllegalTermException,ObjectNotValidException