ReachingDefs.RDSet

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> Compil3r >> [ Dataflow overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of Compil3r.Dataflow.ReachingDefs

SOURCE |

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

Compil3r.Dataflow
Class ReachingDefs.RDSet

java.lang.Object
  Compil3r.Dataflow.ReachingDefs.RDSet

All Implemented Interfaces:: Fact

Enclosing class:: ReachingDefs

public static class ReachingDefs.RDSet
extends java.lang.Object
implements Fact

Field Summary

protected Util.BitString reachingDefs


Constructor Summary

protected ReachingDefs.RDSet(Util.BitString s)


protected ReachingDefs.RDSet(int size)


Method Summary

boolean equals(Fact that)


Fact merge(Fact that)


java.lang.String toString()
          Convert this Object to a human-readable String.

Methods inherited from class java.lang.Object

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

Field Detail

reachingDefs

protected final Util.BitString reachingDefs

Constructor Detail

ReachingDefs.RDSet

protected ReachingDefs.RDSet(int size)

ReachingDefs.RDSet

protected ReachingDefs.RDSet(Util.BitString s)

Method Detail

merge

public Fact merge(Fact that)

Specified by:: merge in interface Fact

equals

public boolean equals(Fact that)

Specified by:: equals in interface Fact

toString

public java.lang.String toString()

Description copied from class: java.lang.Object

Convert this Object to a human-readable String. There are no limits placed on how long this String should be or what it should contain. We suggest you make it as intuitive as possible to be able to place it into System.out.println() 55 and such.

It is typical, but not required, to ensure that this method never completes abruptly with a java.lang.RuntimeException.

This method will be called when performing string concatenation with this object. If the result is null, string concatenation will instead use "null".

The default implementation returns getClass().getName() + "@" + Integer.toHexString(hashCode()).