TypeVariable

Class in TypeChecker

Inherits from System.Object

Summary

A type variable represents a type that is not yet known.

public class TypeVariable : IType, IEquatable<TypeVariable>

Constructors

Name	Description
TypeVariable(string,Antlr4.Runtime.ParserRuleContext)	Initialises a new TypeVariable .

Methods

Name	Description
Equals(object)
Equals(TypeVariable)
Equals(IType)
GetHashCode()
ToString()

Properties

Name	Description
Context	Gets the parser context associated with this type (that is, the expression or other parse context whose type is represented by this type variable.)
Description	Gets a more verbose description of this type.
Name	Gets or sets the name of this type variable.
Parent	Gets the parent of this type.
TypeMembers	Gets the collection of members belonging to this type.