: Class RobustVisitor.Entry

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.jutil.java.collections
Class RobustVisitor.Entry

java.lang.Object
  |
  +--org.jutil.java.collections.RobustVisitor.Entry

Enclosing class:: RobustVisitor

class RobustVisitor.Entry
extends java.lang.Object

Constructor Summary

RobustVisitor.Entry(java.lang.Object key, java.lang.Object value)
          Initialize a new Entry with the given key and value.

Method Summary

java.lang.Object getKey()
          Return the key of this Entry.

java.lang.Object getValue()
          Return the value of this Entry.

Methods inherited from class java.lang.Object

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

Constructor Detail

RobustVisitor.Entry

public RobustVisitor.Entry(java.lang.Object key,
                           java.lang.Object value)

Initialize a new Entry with the given key and value.

Specifications:: ensures getKey() == key;
ensures getValue() == value;

Method Detail

getKey

public java.lang.Object getKey()

Return the key of this Entry.

getValue

public java.lang.Object getValue()

Return the value of this Entry.