com.whitestein.lsps.lang.signature

Class SignatureMapping

java.lang.Object

com.whitestein.lsps.lang.type.TypeMapping

com.whitestein.lsps.lang.signature.SignatureMapping

All Implemented Interfaces:

FreeTypeMapping

public class SignatureMapping
extends TypeMapping

Relation between function signature, and actual provided parameters. It describes mapping of "FreeType"s in signature to actual parameter types, and mapping of closures in signature to closures created by "Validator".

Author:

pna, vbu

Method Summary

Modifier and Type	Method and Description
int	getArgCount() Returns the argument count.
ClosureType	getMappedType() Returns the type of the signature when applied this mapping.
Type	getReturnType() Returns the return type of signature, after free-type substitution.
FunctionSignature	getSignature()
void	reset() Resets the free type mapping.
String	toString()

Methods inherited from class com.whitestein.lsps.lang.type.TypeMapping

asMap, getFreeTypeMapping, getMappedFreeTypes, initBounds, isEmpty, subType, superType

Methods inherited from class java.lang.Object

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

Method Detail

getReturnType

public Type getReturnType()

Returns the return type of signature, after free-type substitution.

Returns:

type returned by signature, after substitution

getSignature

public FunctionSignature getSignature()

Returns:

signature of function or closure

getArgCount

public int getArgCount()

Returns the argument count.

Returns:

the argument count

getMappedType

public ClosureType getMappedType()

Returns the type of the signature when applied this mapping.

Returns:

the type of the signature when applied this mapping

reset

public void reset()

Description copied from class: TypeMapping

Resets the free type mapping.

Overrides:

reset in class TypeMapping

toString

public String toString()

Overrides:

toString in class TypeMapping