Module io.github.tonywasher.joceanus.themis.core
Package io.github.tonywasher.joceanus.themis.gui.launch

Class ThemisUIData

java.lang.Object
io.github.tonywasher.joceanus.themis.gui.launch.ThemisUIData
public class ThemisUIData extends Object
Themis Data.

  • Constructor Summary

    Constructors
    Constructor
    Description
    ThemisUIData(File pProjectDir)
    Constructor.

  • Method Summary

    Modifier and Type
    Method
    Description
    (package private) io.github.tonywasher.joceanus.themis.parser.project.ThemisProject
    getParsedProject()
    Obtain the parsed project.
    (package private) File
    getProjectDir()
    Obtain the projectDir.
    (package private) io.github.tonywasher.joceanus.themis.stats.ThemisStatsProject
    getProjectStats()
    Obtain the project stats.
    (package private) io.github.tonywasher.joceanus.themis.solver.proj.ThemisSolverProject
    getSolvedProject()
    Obtain the solved project.
    (package private) void
    setParsedProject(io.github.tonywasher.joceanus.themis.parser.project.ThemisProject pProject)
    Store the parsed project.
    (package private) void
    setProjectStats(io.github.tonywasher.joceanus.themis.stats.ThemisStatsProject pStats)
    Store the project stats.
    (package private) void
    setSolvedProject(io.github.tonywasher.joceanus.themis.solver.proj.ThemisSolverProject pProject)
    Store the solved project.

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • ThemisUIData

      ThemisUIData(File pProjectDir)
      Constructor.
      Parameters:
      pProjectDir - the projectDirectory.

  • Method Details

    • getProjectDir

      File getProjectDir()
      Obtain the projectDir.
      Returns:
      the projectDir

    • setParsedProject

      void setParsedProject(io.github.tonywasher.joceanus.themis.parser.project.ThemisProject pProject)
      Store the parsed project.
      Parameters:
      pProject - the project

    • getParsedProject

      io.github.tonywasher.joceanus.themis.parser.project.ThemisProject getParsedProject()
      Obtain the parsed project.
      Returns:
      the project

    • setSolvedProject

      void setSolvedProject(io.github.tonywasher.joceanus.themis.solver.proj.ThemisSolverProject pProject)
      Store the solved project.
      Parameters:
      pProject - the project

    • getSolvedProject

      io.github.tonywasher.joceanus.themis.solver.proj.ThemisSolverProject getSolvedProject()
      Obtain the solved project.
      Returns:
      the project

    • setProjectStats

      void setProjectStats(io.github.tonywasher.joceanus.themis.stats.ThemisStatsProject pStats)
      Store the project stats.
      Parameters:
      pStats - the project stats

    • getProjectStats

      io.github.tonywasher.joceanus.themis.stats.ThemisStatsProject getProjectStats()
      Obtain the project stats.
      Returns:
      the project