Module Simula

Class RTS_COMMON.SPORT_Option

java.lang.Object
simula.runtime.RTS_COMMON.SPORT_Option
Enclosing class:
RTS_COMMON

static class RTS_COMMON.SPORT_Option extends Object
S-PORT Options
  • Field Details

    • SourceDirName

      private static String SourceDirName
      S-PORT: Source directory name
    • SPORT_SourceFileName

      private static String SPORT_SourceFileName
      S-PORT: Source file name
    • SPORT_SysInsertDirName

      static String SPORT_SysInsertDirName
      S-PORT: Sysinsert directory name.
    • ListingFileName

      static String ListingFileName
      The S-PORT listing file
    • Selectors

      static String Selectors
      Selectors for conditional compilation.
    • PredefFileName

      static String PredefFileName
      Name of attribute file for the predefined classes etc.

      NOTE: This file is created when front-end compiling the RTS:

    • XmessageFileName

      static String XmessageFileName
      Name of a file containing seldom used information for the front end compiler, such as extended error messages.
    • GenerateScode

      static int GenerateScode
      Used by getIntInfo.
    • MaxErrors

      static int MaxErrors
      Used by getIntInfo.
    • GiveNotes

      static int GiveNotes
      Used by getIntInfo.
    • TraceLevel

      static int TraceLevel
      Used by getIntInfo.
    • Recompilation

      static int Recompilation
      Used by getIntInfo.
    • SimobLevel

      static int SimobLevel
      Used by getIntInfo.
    • currentModuleID

      static String currentModuleID
      Used by giveTextInfo(1) The identifier of a class or procedure being separately compiled. E.g class or procedure identifier
    • extIdent

      static String extIdent
      Used by giveTextInfo(2)The identifier given in an external declaration that is being processed. E.g class or procedure identifier
    • extFile

      static String extFile
      Used by giveTextInfo(3) The external identification given in an external declaration that is being processed. E.g. FileName
  • Constructor Details

    • SPORT_Option

      private SPORT_Option()
      Default constructor.
  • Method Details

    • getModuleName

      private static String getModuleName()
      Returns S-PORT Module name
      Returns:
      S-PORT Module name
    • getSourceFileName

      static String getSourceFileName()
      Returns the source file name.

      Used by ENVIRONMENT'getTextInfo

      Returns:
      the source file name
    • getSCodeFileName

      static String getSCodeFileName()
      Returns the S-Code file name.

      Used by ENVIRONMENT'getTextInfo

      Returns:
      the S-Code file name
    • createSubfileName

      private static String createSubfileName(String subdir, String name)
      Utility: Create sub-file-name
      Parameters:
      subdir - sub-directory
      name - file-name
      Returns:
      the resulting file-name
    • getScratchFileName

      static String getScratchFileName()
      Returns the scratch file name.

      Used by ENVIRONMENT'getTextInfo

      Returns:
      the scratch file name
    • getAttributeOutputFileName

      static String getAttributeOutputFileName()
      Returns the attribute output file name.

      Used by ENVIRONMENT'getTextInfo

      Returns:
      the attribute output file name
    • getExternalAttributeFileName

      static String getExternalAttributeFileName()
      Returns the external attribute file name.

      Used by ENVIRONMENT'getTextInfo

      Returns:
      the external attribute file name