Package net.sourceforge.pmd.lang.java.types

Class TypingContext

java.lang.Object

net.sourceforge.pmd.lang.java.types.TypingContext

All Implemented Interfaces:

Function<JVariableSymbol,JTypeMirror>

public final class TypingContext
extends Object

A mapping of variables to types.

Field Summary

Fields

Modifier and Type	Field	Description
static final TypingContext	DEFAULT	Empty context.

Method Summary

Modifier and Type	Method	Description
TypingContext	andThen(Map<JVariableSymbol,@Nullable JTypeMirror> map)	Return a new typing context which uses this one as a parent.
TypingContext	andThenZip(List<JVariableSymbol> symbols, List<? extends JTypeMirror> types)
@Nullable JTypeMirror	apply(JVariableSymbol var)
protected Map<JVariableSymbol,@Nullable JTypeMirror>	getMap()
boolean	isEmpty()
String	toString()
static TypingContext	zip(List<JVariableSymbol> symbols, List<JTypeMirror> types)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Function

andThen, compose

Field Details

DEFAULT

public static final TypingContext DEFAULT

Empty context. Corresponds to defaulting all lambda param types to their value in the AST.

Method Details

apply

public @Nullable JTypeMirror apply(JVariableSymbol var)

andThen

public TypingContext andThen(Map<JVariableSymbol,@Nullable JTypeMirror> map)

Return a new typing context which uses this one as a parent.

andThenZip

public TypingContext andThenZip(List<JVariableSymbol> symbols,
 List<? extends JTypeMirror> types)

zip

public static TypingContext zip(List<JVariableSymbol> symbols,
 List<JTypeMirror> types)

getMap

protected Map<JVariableSymbol,@Nullable JTypeMirror> getMap()

isEmpty

public boolean isEmpty()

toString

public String toString()

Overrides:

toString in class Object