net.ssehub.easy.standalone.cmd

Class ReasoningCommands

java.lang.Object

net.ssehub.easy.standalone.cmd.ReasoningCommands

public class ReasoningCommands
extends java.lang.Object

This class is currently rather preliminary and basically intended for testing proper loading of the reasoner by the EASy Loader.
Before calling any of the methods in this class, EASy must be loaded via calling LowlevelCommands.startEASy().

Author:

Holger Eichelberger, Sascha El-Sharkawy

Constructor Summary

Constructors

Constructor and Description
ReasoningCommands()

Method Summary

Modifier and Type	Method and Description
static boolean	checkValidity(java.io.File project) Checks the validity of the specified EASy project by reasoning.
static boolean	checkValidity(java.io.File project, java.io.File ivmlFile) Checks the validity of the specified IVML model by reasoning.
static boolean	checkValidity(java.io.File project, ModelLoadDefinition ivmlDefinition) Checks the validity of the specified IVML model by reasoning.
static boolean	checkValidity(net.ssehub.easy.varModel.model.Project project) Checks the validity of the specified IVML model by reasoning.
static void	main(java.lang.String[] args) Just for testing.

Methods inherited from class java.lang.Object

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

Constructor Detail

ReasoningCommands

public ReasoningCommands()

Method Detail

checkValidity

public static boolean checkValidity(java.io.File project)
                             throws net.ssehub.easy.producer.core.persistence.PersistenceException

Checks the validity of the specified EASy project by reasoning.

Parameters:

project - the project the model is located in

Returns:

true if conflict occurred, false otherwise

Throws:

net.ssehub.easy.producer.core.persistence.PersistenceException - in case that the model cannot be loaded for some reason

checkValidity

public static boolean checkValidity(java.io.File project,
                                    java.io.File ivmlFile)
                             throws net.ssehub.easy.basics.modelManagement.ModelManagementException

Checks the validity of the specified IVML model by reasoning.

Parameters:

project - the project the model is located in

ivmlFile - the IVML model file to be checked

Returns:

true if conflict occurred, false else

Throws:

net.ssehub.easy.basics.modelManagement.ModelManagementException - in case that the model cannot be loaded for some reason

checkValidity

public static boolean checkValidity(java.io.File project,
                                    ModelLoadDefinition ivmlDefinition)
                             throws net.ssehub.easy.basics.modelManagement.ModelManagementException

Checks the validity of the specified IVML model by reasoning.

Parameters:

project - the project the model is located in

ivmlDefinition - the IVML model definition

Returns:

true if conflict occurred, false else

Throws:

net.ssehub.easy.basics.modelManagement.ModelManagementException - in case that the model cannot be loaded for some reason

checkValidity

public static boolean checkValidity(net.ssehub.easy.varModel.model.Project project)

Checks the validity of the specified IVML model by reasoning.

Parameters:

project - the IVML model to be checked

Returns:

true if conflict occurred, false else

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException,
                        net.ssehub.easy.basics.modelManagement.VersionFormatException,
                        net.ssehub.easy.basics.modelManagement.ModelManagementException

Just for testing.

Parameters:

args - command line arguments - ignored

Throws:

java.io.IOException - in case of I/O problems

net.ssehub.easy.basics.modelManagement.VersionFormatException - in case of version specification problems

net.ssehub.easy.basics.modelManagement.ModelManagementException - in case of problems loading the models