Package net.ssehub.easy.standalone.cmd

Class ReasoningCommands

java.lang.Object
net.ssehub.easy.standalone.cmd.ReasoningCommands
public class ReasoningCommands extends 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
    Description
    ReasoningCommands()
     

  • Method Summary

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

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • ReasoningCommands

      public ReasoningCommands()

  • Method Details

    • checkValidity

      public static net.ssehub.easy.reasoning.core.reasoner.ReasoningResult checkValidity(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:
      the reasoning result
      Throws:
      net.ssehub.easy.producer.core.persistence.PersistenceException - in case that the model cannot be loaded for some reason

    • checkValidity

      public static net.ssehub.easy.reasoning.core.reasoner.ReasoningResult checkValidity(File project, 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:
      the reasoning result
      Throws:
      net.ssehub.easy.basics.modelManagement.ModelManagementException - in case that the model cannot be loaded for some reason

    • checkValidity

      public static net.ssehub.easy.reasoning.core.reasoner.ReasoningResult checkValidity(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:
      the reasoning result
      Throws:
      net.ssehub.easy.basics.modelManagement.ModelManagementException - in case that the model cannot be loaded for some reason

    • checkValidity

      public static net.ssehub.easy.reasoning.core.reasoner.ReasoningResult 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:
      the reasoning result

    • main

      public static void main(String[] args) throws IOException, net.ssehub.easy.basics.modelManagement.VersionFormatException, net.ssehub.easy.basics.modelManagement.ModelManagementException
      Just for testing.
      Parameters:
      args - command line arguments - ignored
      Throws:
      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