Package org.checkerframework.dataflow.cfg.node

Class CatchMarkerNode

java.lang.Object

org.checkerframework.dataflow.cfg.node.Node

org.checkerframework.dataflow.cfg.node.MarkerNode

org.checkerframework.dataflow.cfg.node.CatchMarkerNode

All Implemented Interfaces:

org.plumelib.util.UniqueId

public class CatchMarkerNode
extends MarkerNode

A CatchMarkerNode is a marker node for the beginning or end of a catch block.

Field Summary

Fields inherited from class org.checkerframework.dataflow.cfg.node.MarkerNode

message, tree

Fields inherited from class org.checkerframework.dataflow.cfg.node.Node

block, inSource, lvalue, type

Constructor Summary

Constructors

Constructor	Description
CatchMarkerNode(@Nullable Tree tree, String startOrEnd, TypeMirror catchType, Types types)	Creates a new CatchMarkerNode.

Method Summary

Modifier and Type	Method	Description
boolean	equals(@Nullable Object obj)
TypeMirror	getCatchType()	Returns the type of the exception parameter.
int	hashCode()

Methods inherited from class org.checkerframework.dataflow.cfg.node.MarkerNode

accept, getMessage, getOperands, getTree, toString

Methods inherited from class org.checkerframework.dataflow.cfg.node.Node

getBlock, getInSource, getTransitiveOperands, getType, getUid, isLValue, nodeCollectionToString, setBlock, setInSource, setLValue, toStringDebug

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.plumelib.util.UniqueId

getClassAndUid

Constructor Details

CatchMarkerNode

public CatchMarkerNode(@Nullable Tree tree,
 String startOrEnd,
 TypeMirror catchType,
 Types types)

Creates a new CatchMarkerNode.

Parameters:

tree - the tree

startOrEnd - "start" or "end"

catchType - the type of the exception parameter

types - the type utilities

Method Details

getCatchType

public TypeMirror getCatchType()

Returns the type of the exception parameter.

Returns:

the type of the exception parameter

equals

public boolean equals(@Nullable Object obj)

Overrides:

equals in class MarkerNode

hashCode

public int hashCode()

Overrides:

hashCode in class MarkerNode