gw.specContrib.typeinference

Class Errant_IfTypeNarrowingJava

java.lang.Object

gw.specContrib.typeinference.Errant_IfTypeNarrowingJava

public class Errant_IfTypeNarrowingJava
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	Errant_IfTypeNarrowingJava.A

Constructor Summary

Constructors

Constructor and Description
Errant_IfTypeNarrowingJava()

Method Summary

Modifier and Type	Method and Description
Object	getProp()
Object	nonProp()

Methods inherited from class java.lang.Object

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

Constructor Detail

Errant_IfTypeNarrowingJava

public Errant_IfTypeNarrowingJava()

Method Detail

getProp

public Object getProp()

nonProp

public Object nonProp()