Package software.amazon.awssdk.services.proton.endpoints.internal

Class FatScope<T>

java.lang.Object

software.amazon.awssdk.services.proton.endpoints.internal.FatScope<T>

public final class FatScope<T>
extends Object

Constructor Summary

Constructors

Constructor	Description
FatScope()
FatScope(HashMap<Identifier,T> types, HashMap<Expr,T> facts)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
HashMap<Expr,T>	facts()
int	hashCode()
String	toString()
HashMap<Identifier,T>	types()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

FatScope

public FatScope(HashMap<Identifier,T> types,
 HashMap<Expr,T> facts)

FatScope

public FatScope()

Method Details

types

public HashMap<Identifier,T> types()

facts

public HashMap<Expr,T> facts()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object