content: // DO NOT EDIT THIS FILE! IT IS AUTOMATICALLY GENERATED FROM FILE "src/C_CountCatsWrong.gold"
  import gold.structures.automaton.*;
  import gold.util.*;
  import gold.visualization.automaton.*;
  import java.lang.*;
  import org.apfloat.*;
  import static gold.util.GReflection.*;
  @SuppressWarnings("all")
  public final class C_CountCatsWrong {
    static {
      gold.swing.util.GUtilities.installGoldLookAndFeel();
    }
    public static void main(String[] args) {
      int $line=0;
      Object $result=null;
      $try:try {
        $line=17;
        GAutomataFrame.show($cast(gold.structures.automaton.IAutomaton.class,C_CountCatsWrong.createAutomaton()));
      }
      catch (Throwable $throwable) {
        $rethrow($throwable,C_CountCatsWrong.class,"main",$line);
      }
    }
    public static IPushdownAutomaton createAutomaton() {
      int $line=0;
      Object $result=null;
      $try:try {
        $line=21;
        Object \u03A3=$fix(GCollections.asSet('c','a','t','1'));
        $line=22;
        Object Q=$fix(GCollections.asSet(0,1));
        $line=23;
        Object \u0393=$fix(GCollections.asSet('1'));
        $line=24;
        Object q_0=$fix(0);
        $line=25;
        Object F=$fix(GCollections.asSet(1));
        $line=26;
        Object M=$fix($invokeConstructor(GPushdownAutomaton.class,new Object[]{Q,\u03A3,\u0393,q_0,F}));
        $line=28;
        $invokeMethod("ignore",((gold.structures.automaton.GPushdownAutomaton)M).delta(0,0,$cast(java.lang.String.class,'a')),new Object[]{});
        $line=29;
        $invokeMethod("ignore",((gold.structures.automaton.GPushdownAutomaton)M).delta(0,0,$cast(java.lang.String.class,'c')),new Object[]{});
        $line=30;
        $invokeMethod("ignore",((gold.structures.automaton.GPushdownAutomaton)M).delta(0,0,$cast(java.lang.String.class,'t')),new Object[]{});
        $line=31;
        $invokeMethod("push",((gold.structures.automaton.GPushdownAutomaton)M).delta(0,0,$cast(java.lang.String.class,"cat")),new Object[]{"1"});
        $line=32;
        $invokeMethod("pop",((gold.structures.automaton.GPushdownAutomaton)M).delta(1,1,$cast(java.lang.String.class,"1")),new Object[]{"1"});
        $line=34;
        $invokeMethod("ignore",((gold.structures.automaton.GPushdownAutomaton)M).delta(0,1,$cast(java.lang.String.class,"")),new Object[]{});
        $line=37;
        $result=M;
        if (true) break $try;
        $line=38;
        $rethrow(new RuntimeException("The function \"createAutomaton()\" did not return a value."));
      }
      catch (Throwable $throwable) {
        $rethrow($throwable,C_CountCatsWrong.class,"createAutomaton",$line);
      }
      return $cast(IPushdownAutomaton.class,$result);
    }
  }
  