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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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.

Constructor Detail

CatchParameter

public CatchParameter(Location location,
                      boolean finaL,
                      Java.Type[] types,
                      java.lang.String name)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

setEnclosingScope

public void setEnclosingScope(Java.Scope enclosingScope)

Parameters:

enclosingScope - The scope that encloses this catch parameter declaration