wyil.util

Class TypeSystem.FunctionOrMethodState

java.lang.Object

wyil.util.TypeSystem.FunctionOrMethodState

All Implemented Interfaces:

Comparable<TypeSystem.FunctionOrMethodState>

Enclosing class:

TypeSystem

public static final class TypeSystem.FunctionOrMethodState
extends Object
implements Comparable<TypeSystem.FunctionOrMethodState>

Field Summary

Fields

Modifier and Type	Field and Description
ArrayList<String>	contextLifetimes
ArrayList<String>	lifetimeParameters
int	numParams

Constructor Summary

Constructors

Constructor and Description
FunctionOrMethodState(int numParams, String[] contextLifetimes, String[] lifetimeParameters)

Method Summary

Modifier and Type	Method and Description
int	compareTo(TypeSystem.FunctionOrMethodState other)
boolean	equals(Object obj)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

numParams

public final int numParams

contextLifetimes

public final ArrayList<String> contextLifetimes

lifetimeParameters

public final ArrayList<String> lifetimeParameters

Constructor Detail

FunctionOrMethodState

public FunctionOrMethodState(int numParams,
                             String[] contextLifetimes,
                             String[] lifetimeParameters)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

compareTo

public int compareTo(TypeSystem.FunctionOrMethodState other)

Specified by:

compareTo in interface Comparable<TypeSystem.FunctionOrMethodState>