001    /* This file was generated with JastAdd2 (http://jastadd.org) version 2.1.3 */
002    package AST;
003    
004    import java.util.Collection;
005    import java.util.ArrayList;
006    import java.util.HashSet;
007    /**
008     * @ast node
009     * @declaredat /home/csz-naf/examples/PicoJava/spec/picojava.ast:5
010     * @production Stmt : {@link BlockStmt};
011    
012     */
013    public abstract class Stmt extends BlockStmt implements Cloneable {
014      /**
015       * @apilevel internal
016       */
017      public Stmt clone() throws CloneNotSupportedException {
018        Stmt node = (Stmt) super.clone();
019        node.in$Circle(false);
020        node.is$Final(false);
021        return node;
022      }
023      /**
024       */
025      public Stmt() {
026        super();
027      }
028      /**
029       * Initializes the child array to the correct size.
030       * Initializes List and Opt nta children.
031       * @apilevel internal
032       * @ast method
033       */
034      public void init$Children() {
035      }
036      /**
037       * @apilevel low-level
038       */
039      protected int numChildren() {
040        return 0;
041      }
042      /**
043       * @apilevel internal
044       */
045      public boolean mayHaveRewrite() {
046        return false;
047      }
048      /**
049       * @apilevel low-level
050       */
051      public void flushCache() {
052        super.flushCache();
053      }
054      /**
055       * @apilevel internal
056       */
057      public void flushCollectionCache() {
058        super.flushCollectionCache();
059      }
060      /**
061       * @apilevel internal
062       */
063      public ASTNode rewriteTo() {    return super.rewriteTo();
064      }}