Package org.codehaus.janino
Class Java.CatchParameter
- java.lang.Object
-
- org.codehaus.janino.Java.Located
-
- org.codehaus.janino.Java.CatchParameter
-
- All Implemented Interfaces:
Java.Locatable
- Enclosing class:
- Java
public static final class Java.CatchParameter extends Java.Located
Representation of a "catch" parameter.
-
-
Field Summary
Fields Modifier and Type Field Description boolean
finaL
Whether the parameter is declared FINAL.Java.LocalVariable
localVariable
The local variable associated with this parameter.java.lang.String
name
The name of the parameter.Java.Type[]
types
The types of the parameter.-
Fields inherited from class org.codehaus.janino.Java.Located
NOWHERE
-
-
Constructor Summary
Constructors Constructor Description CatchParameter(Location location, boolean finaL, Java.Type[] types, java.lang.String name)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
setEnclosingScope(Java.Scope enclosingScope)
java.lang.String
toString()
-
Methods inherited from class org.codehaus.janino.Java.Located
getLocation, throwCompileException
-
-
-
-
Field Detail
-
finaL
public final boolean finaL
Whether the parameter is declared FINAL.
-
types
public final Java.Type[] types
The types of the parameter.
-
name
public final java.lang.String name
The name of the parameter.
-
localVariable
@Nullable public Java.LocalVariable localVariable
The local variable associated with this parameter.
-
-
Method Detail
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
setEnclosingScope
public void setEnclosingScope(Java.Scope enclosingScope)
- Parameters:
enclosingScope
- The scope that encloses this catch parameter declaration
-
-