org.checkerframework.framework.util

Class FlowExpressionParseUtil.FlowExpressionContext

java.lang.Object

org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext

Enclosing class:

FlowExpressionParseUtil

public static class FlowExpressionParseUtil.FlowExpressionContext
extends Object

Context used to parse a flow expression.

Field Summary

Fields

Modifier and Type	Field and Description
List<FlowExpressions.Receiver>	arguments
BaseContext	checkerContext
FlowExpressions.Receiver	outerReceiver
FlowExpressions.Receiver	receiver

Constructor Summary

Constructors

Constructor and Description
FlowExpressionContext(FlowExpressions.Receiver receiver, FlowExpressions.Receiver outerReceiver, List<FlowExpressions.Receiver> arguments, BaseContext checkerContext)
FlowExpressionContext(FlowExpressions.Receiver receiver, List<FlowExpressions.Receiver> arguments, BaseContext checkerContext)

Method Summary

Modifier and Type	Method and Description
FlowExpressionParseUtil.FlowExpressionContext	changeReceiver(FlowExpressions.Receiver receiver) Returns a copy of the context that is identical, but has a different receiver.
FlowExpressionParseUtil.FlowExpressionContext	useOuterReceiver() Returns a copy of the context that is identical, but uses the outer receiver as main receiver.

Methods inherited from class java.lang.Object

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

Field Detail

receiver

public final FlowExpressions.Receiver receiver

arguments

public final List<FlowExpressions.Receiver> arguments

outerReceiver

public final FlowExpressions.Receiver outerReceiver

checkerContext

public final BaseContext checkerContext

Constructor Detail

FlowExpressionContext

public FlowExpressionContext(FlowExpressions.Receiver receiver,
                             List<FlowExpressions.Receiver> arguments,
                             BaseContext checkerContext)

FlowExpressionContext

public FlowExpressionContext(FlowExpressions.Receiver receiver,
                             FlowExpressions.Receiver outerReceiver,
                             List<FlowExpressions.Receiver> arguments,
                             BaseContext checkerContext)

Method Detail

changeReceiver

public FlowExpressionParseUtil.FlowExpressionContext changeReceiver(FlowExpressions.Receiver receiver)

Returns a copy of the context that is identical, but has a different receiver. The outer receiver remains unchanged.

useOuterReceiver

public FlowExpressionParseUtil.FlowExpressionContext useOuterReceiver()

Returns a copy of the context that is identical, but uses the outer receiver as main receiver.