IndexPropagationSystem.MeetOperator (Jikes RVM API)

Overview

Package

Class

Use

Tree

Serialized

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.jikesrvm.compilers.opt.ssa
Class IndexPropagationSystem.MeetOperator

java.lang.Object
  org.jikesrvm.compilers.opt.dfsolver.DF_Operator
      org.jikesrvm.compilers.opt.ssa.IndexPropagationSystem.MeetOperator

Enclosing class:: IndexPropagationSystem

static class IndexPropagationSystem.MeetOperator
extends DF_Operator
extends DF_Operator

Represents a MEET function (intersection) over Cells.

Constructor Summary
`IndexPropagationSystem.MeetOperator()`

Method Summary
`boolean`	`evaluate(DF_LatticeCell[] operands)` Evaluate a dataflow equation with the MEET operator
`(package private) boolean`	`evaluateArrayMeet(DF_LatticeCell[] operands)` Evaluate a dataflow equation with the MEET operator for lattice cells representing array heap variables.
`(package private) boolean`	`evaluateObjectMeet(DF_LatticeCell[] operands)` Evaluate a dataflow equation with the MEET operator for lattice cells representing field heap variables.
`String`	`toString()`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Constructor Detail

IndexPropagationSystem.MeetOperator

IndexPropagationSystem.MeetOperator()

Method Detail

toString

public String toString()

Overrides:: toString in class Object

Returns:: "MEET"

evaluate

public boolean evaluate(DF_LatticeCell[] operands)

Evaluate a dataflow equation with the MEET operator

Specified by:: evaluate in class DF_Operator

Parameters:: operands - the operands of the dataflow equation
Returns:: true iff the value of the lhs changes

evaluateObjectMeet

boolean evaluateObjectMeet(DF_LatticeCell[] operands)

Evaluate a dataflow equation with the MEET operator for lattice cells representing field heap variables.

Parameters:: operands - the operands of the dataflow equation
Returns:: true iff the value of the lhs changes

evaluateArrayMeet

boolean evaluateArrayMeet(DF_LatticeCell[] operands)

Evaluate a dataflow equation with the MEET operator for lattice cells representing array heap variables.

Parameters:: operands - the operands of the dataflow equation
Returns:: true iff the value of the lhs changes