org.python.indexer.types

Class NType.CyclicTypeRecorder

java.lang.Object

org.python.indexer.types.NType.CyclicTypeRecorder

Enclosing class:

NType

protected class NType.CyclicTypeRecorder
extends java.lang.Object

Internal class to support printing in the presence of type-graph cycles.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CyclicTypeRecorder()

Method Summary

Modifier and Type	Method and Description
int	fetch(NType t) Get the instance number for the specified type.

Methods inherited from class java.lang.Object

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

Constructor Detail

CyclicTypeRecorder

protected CyclicTypeRecorder()

Method Detail

fetch

public int fetch(NType t)

Get the instance number for the specified type.

Returns:

the instance number: positive if the type was already recorded, or its negative if the type was just recorded and assigned a number.