All Packages Class Hierarchy This Package Previous Next Index
Class javaParse.ProductionFormatException
java.lang.Object
|
+----java.lang.Throwable
|
+----java.lang.Exception
|
+----javaParse.ProductionFormatException
- public class ProductionFormatException
- extends Exception
Exception is thrown if user tries to open a non-Grammar file
that is missing the magic cookie!
-
ProductionFormatException()
-
ProductionFormatException
public ProductionFormatException()
All Packages Class Hierarchy This Package Previous Next Index