ProgramFragment (KigaliSim)

java.lang.Object

org.kigalisim.lang.fragment.Fragment

org.kigalisim.lang.fragment.ProgramFragment

public class ProgramFragment extends Fragment

A fragment containing a parsed program.

Constructor Summary

Constructors

Constructor

Description

ProgramFragment(ParsedProgram program)

Create a new fragment containing a parsed program.
Method Summary

Modifier and Type

Method

Description

ParsedProgram

getProgram()

Get the program parsed from the source of this fragment.

Methods inherited from class org.kigalisim.lang.fragment.Fragment
getApplication, getDuring, getIsStanzaPolicyOrDefault, getIsStanzaScenarios, getOperation, getPolicy, getScenario, getScenarios, getString, getSubstance, getUnit

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- ProgramFragment
  
  public ProgramFragment(ParsedProgram program)
  
  Create a new fragment containing a parsed program.
  
  Parameters:
  
  program - The program parsed from the source of this fragment.
Method Details
- getProgram
  
  public ParsedProgram getProgram()
  
  Get the program parsed from the source of this fragment.
  
  Overrides:
  
  getProgram in class Fragment
  
  Returns:
  
  The parsed program.