001package components.program;
002
003import components.map.Map;
004import components.map.Map1L;
005import components.sequence.Sequence;
006import components.simplewriter.SimpleWriter;
007import components.statement.Statement;
008import components.statement.Statement1;
009import components.statement.StatementKernel.Kind;
010import components.utilities.Tokenizer;
011
012/**
013 * {@code Program} represented as a {@link String}, {@link Map}, and
014 * {@link Statement} in the obvious way with implementations of primary methods.
015 *
016 * @convention [$this.name is an IDENTIFIER] and [$this.context is a CONTEXT]
017 *             and [$this.body is a BLOCK statement]
018 * @correspondence this = ($this.name, $this.context, $this.body)
019 */
020public class Program1 extends ProgramSecondary {
021
022    /*
023     * 2221/2231 assignment code deleted.
024     */
025
026}