

import java.util.*;
import Jakarta.util.FixDosOutputStream;
import java.io.*;

// this layer encapsulates the check (and grammar rule) that
// layers can (optionally) be defined with the "layer" label.

public class AST_Program {

    public void checkAspect( String filepath ) {
        AstNode.override( "AST_Program.setPackageName", this );
    }
}
