Package edu.udel.cis.vsl.sarl.config.common

Class CommonSARLConfig

java.lang.Object
edu.udel.cis.vsl.sarl.config.common.CommonSARLConfig
All Implemented Interfaces:
SARLConfig
public class CommonSARLConfig extends Object implements SARLConfig
An implementation of SARLConfig using an array for the ProverInfos as well as a map from the prover names to the ProverInfos for fast lookup.

  • Constructor Details

  • Method Details

    • getNumProvers

      public int getNumProvers()
      Description copied from interface: SARLConfig
      The number of theorem provers supported by this configuration.
      Specified by:
      getNumProvers in interface SARLConfig
      Returns:
      the number of theorem provers

    • getProver

      public ProverInfo getProver(int index)
      Description copied from interface: SARLConfig
      Gets the index-th theorem prover.
      Specified by:
      getProver in interface SARLConfig
      Returns:
      the index-th prover

    • getProvers

      public Iterable<ProverInfo> getProvers()
      Description copied from interface: SARLConfig
      Returns all the provers supported by this configuration as an iterable sequence.
      Specified by:
      getProvers in interface SARLConfig
      Returns:
      all provers supported by this configuration

    • getProverWithAlias

      public ProverInfo getProverWithAlias(String alias)
      Description copied from interface: SARLConfig
      Finds a prover supported by this configuration with the given alias.
      Specified by:
      getProverWithAlias in interface SARLConfig
      Parameters:
      alias - the alias to search for
      Returns:
      a prover supported by this configuration with given alias or null if there is no such prover

    • getProverWithKind

      public ProverInfo getProverWithKind(ProverInfo.ProverKind kind)
      Description copied from interface: SARLConfig
      Finds a prover of the given kind supported by this configuration.
      Specified by:
      getProverWithKind in interface SARLConfig
      Parameters:
      kind - the kind to search for
      Returns:
      a prover supported by this configuration of the given kind, or null if there is no such prover

    • getWhy3ProvePlatform

      public ProverInfo getWhy3ProvePlatform()
      Description copied from interface: SARLConfig
      Finds the why3 prove platform supported by this configuration
      Specified by:
      getWhy3ProvePlatform in interface SARLConfig
      Returns:
      The ProverInfo for why3 or null if there is no why3 prove platform.

    • setWhy3ProvePlatform

      public void setWhy3ProvePlatform(ProverInfo why3Info)
      Description copied from interface: SARLConfig
      Set the why3 prove platform supported by this configuration
      Specified by:
      setWhy3ProvePlatform in interface SARLConfig
      Parameters:
      why3Info - An object contains all the informations of the why3 prove platform.

    • getOutputFileDir

      public Path getOutputFileDir()
      Specified by:
      getOutputFileDir in interface SARLConfig
      Returns:
      the directory where SARL should put its generated temporary files in