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 com.sun.source.tree.Tree tree, java.lang.String startOrEnd, javax.lang.model.type.TypeMirror catchType, javax.lang.model.util.Types types)	Creates a new CatchMarkerNode.

Method Summary

Modifier and Type	Method	Description
boolean	equals(@Nullable java.lang.Object obj)
javax.lang.model.type.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 Detail

CatchMarkerNode

public CatchMarkerNode(@Nullable com.sun.source.tree.Tree tree,
                       java.lang.String startOrEnd,
                       javax.lang.model.type.TypeMirror catchType,
                       javax.lang.model.util.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 Detail

getCatchType

public javax.lang.model.type.TypeMirror getCatchType()

Returns the type of the exception parameter.

Returns:

the type of the exception parameter

equals

public boolean equals(@Nullable java.lang.Object obj)

Overrides:

equals in class MarkerNode

hashCode

public int hashCode()

Overrides:

hashCode in class MarkerNode