Class ParsedApplication

java.lang.Object
org.kigalisim.lang.program.ParsedApplication

public class ParsedApplication extends Object
Record of an application parsed from the source of a QubecTalk program.

Contains the substances defined in this application with their associated operations.

  • Constructor Details

    • ParsedApplication

      public ParsedApplication(String name, Iterable<ParsedSubstance> substances)
      Create a new record of an application.
      Parameters:
      name - The name of the application parsed.
      substances - The substances defined in this application.
  • Method Details

    • getName

      public String getName()
      Get the name of this application.
      Returns:
      The name of this application.
    • getSubstances

      public Set<String> getSubstances()
      Get the names of all substances defined in this application.
      Returns:
      Set of substance names.
    • getSubstance

      public ParsedSubstance getSubstance(String name)
      Get a specific substance by name.
      Parameters:
      name - The name of the substance to retrieve.
      Returns:
      The substance with the specified name.
      Throws:
      IllegalArgumentException - if no substance with the given name exists.