Class SimulatorSettings


  • public class SimulatorSettings
    extends java.lang.Object
    • Field Detail

      • SIMULATOR_SETTINGS

        public static final java.lang.String SIMULATOR_SETTINGS
        See Also:
        Constant Field Values
      • SIMULATOR_SETTINGS_DEFAULT

        public static final java.lang.String SIMULATOR_SETTINGS_DEFAULT
        See Also:
        Constant Field Values
      • FILE_POSTFIX_PROGRAM_OPTIONS

        public static final java.lang.String FILE_POSTFIX_PROGRAM_OPTIONS
        See Also:
        Constant Field Values
      • FILE_MAIN_PROGRAM_ADDRESS

        public static final java.lang.String FILE_MAIN_PROGRAM_ADDRESS
        See Also:
        Constant Field Values
      • FILE_MEMORY_PATHS

        public static final java.lang.String FILE_MEMORY_PATHS
        See Also:
        Constant Field Values
    • Constructor Detail

      • SimulatorSettings

        public SimulatorSettings​(java.lang.String inputResourceDir,
                                 java.lang.String programFileName,
                                 Options options)
    • Method Detail

      • getProgramFileName

        public java.lang.String getProgramFileName()
      • getMemoryPathsFile

        public java.nio.file.Path getMemoryPathsFile()
      • getSourceDirectory

        public java.nio.file.Path getSourceDirectory()