Interface: StrictVisitor<TReturn>

Extends

• BaseVisitor<TReturn>.ExpressionVisitor<TReturn>.OperationVisitor<TReturn>.PatternVisitor<TReturn>.PrimitiveVisitor<TReturn>.StatementVisitor<TReturn>.TypeVisitor<TReturn>.TestingVisitor<TReturn>.TypeClassVisitor<TReturn>

Type Parameters

Type Parameter
TReturn

Methods

visit()

visit(node): TReturn

Parameters

Parameter	Type
node	ASTNode

Returns

TReturn

Inherited from

BaseVisitor.visit

---

visitApplication()

visitApplication(node): TReturn

Parameters

Parameter	Type
node	Application

Returns

TReturn

Inherited from

ExpressionVisitor.visitApplication

---

visitApplicationPattern()

visitApplicationPattern(node): TReturn

Parameters

Parameter	Type
node	ApplicationPattern

Returns

TReturn

Inherited from

PatternVisitor.visitApplicationPattern

---

visitArithmeticBinaryOperation()

visitArithmeticBinaryOperation(node): TReturn

Parameters

Parameter	Type
node	ArithmeticBinaryOperation

Returns

TReturn

Inherited from

OperationVisitor.visitArithmeticBinaryOperation

---

visitArithmeticUnaryOperation()

visitArithmeticUnaryOperation(node): TReturn

Parameters

Parameter	Type
node	ArithmeticUnaryOperation

Returns

TReturn

Inherited from

OperationVisitor.visitArithmeticUnaryOperation

---

visitAsPattern()

visitAsPattern(node): TReturn

Parameters

Parameter	Type
node	AsPattern

Returns

TReturn

Inherited from

PatternVisitor.visitAsPattern

---

visitAssert()

visitAssert(node): TReturn

Parameters

Parameter	Type
node	Assert

Returns

TReturn

Inherited from

TestingVisitor.visitAssert

---

visitAssignment()

visitAssignment(node): TReturn

Parameters

Parameter	Type
node	Assignment

Returns

TReturn

Inherited from

StatementVisitor.visitAssignment

---

visitAssignOperation()

visitAssignOperation(node): TReturn

Parameters

Parameter	Type
node	AssignOperation

Returns

TReturn

Inherited from

OperationVisitor.visitAssignOperation

---

visitAttribute()

visitAttribute(node): TReturn

Parameters

Parameter	Type
node	Attribute

Returns

TReturn

Inherited from

StatementVisitor.visitAttribute

---

visitBitwiseBinaryOperation()

visitBitwiseBinaryOperation(node): TReturn

Parameters

Parameter	Type
node	BitwiseBinaryOperation

Returns

TReturn

Inherited from

OperationVisitor.visitBitwiseBinaryOperation

---

visitBitwiseUnaryOperation()

visitBitwiseUnaryOperation(node): TReturn

Parameters

Parameter	Type
node	BitwiseUnaryOperation

Returns

TReturn

Inherited from

OperationVisitor.visitBitwiseUnaryOperation

---

visitBooleanPrimitive()

visitBooleanPrimitive(node): TReturn

Parameters

Parameter	Type
node	BooleanPrimitive

Returns

TReturn

Inherited from

PrimitiveVisitor.visitBooleanPrimitive

---

visitBreak()

visitBreak(node): TReturn

Parameters

Parameter	Type
node	Break

Returns

TReturn

Inherited from

StatementVisitor.visitBreak

---

visitCall()

visitCall(node): TReturn

Parameters

Parameter	Type
node	Call

Returns

TReturn

Inherited from

ExpressionVisitor.visitCall

---

visitCase()

visitCase(node): TReturn

Parameters

Parameter	Type
node	Case

Returns

TReturn

Inherited from

StatementVisitor.visitCase

---

visitCatch()

visitCatch(node): TReturn

Parameters

Parameter	Type
node	Catch

Returns

TReturn

Inherited from

StatementVisitor.visitCatch

---

visitCharPrimitive()

visitCharPrimitive(node): TReturn

Parameters

Parameter	Type
node	CharPrimitive

Returns

TReturn

Inherited from

PrimitiveVisitor.visitCharPrimitive

---

visitClass()

visitClass(node): TReturn

Parameters

Parameter	Type
node	Class

Returns

TReturn

Inherited from

StatementVisitor.visitClass

---

visitComparisonOperation()

visitComparisonOperation(node): TReturn

Parameters

Parameter	Type
node	ComparisonOperation

Returns

TReturn

Inherited from

OperationVisitor.visitComparisonOperation

---

visitCompositionExpression()

visitCompositionExpression(node): TReturn

Parameters

Parameter	Type
node	CompositionExpression

Returns

TReturn

Inherited from

ExpressionVisitor.visitCompositionExpression

---

visitConsExpr()

visitConsExpr(node): TReturn

Parameters

Parameter	Type
node	ConsExpression

Returns

TReturn

Inherited from

ExpressionVisitor.visitConsExpr

---

visitConsPattern()

visitConsPattern(node): TReturn

Parameters

Parameter	Type
node	ConsPattern

Returns

TReturn

Inherited from

PatternVisitor.visitConsPattern

---

visitConstrainedType()

visitConstrainedType(node): TReturn

Parameters

Parameter	Type
node	ConstrainedType

Returns

TReturn

Inherited from

TypeVisitor.visitConstrainedType

---

visitConstraint()

visitConstraint(node): TReturn

Parameters

Parameter	Type
node	Constraint

Returns

TReturn

Inherited from

TypeVisitor.visitConstraint

---

visitConstructor()

visitConstructor(node): TReturn

Parameters

Parameter	Type
node	Constructor

Returns

TReturn

Inherited from

StatementVisitor.visitConstructor

---

visitConstructorPattern()

visitConstructorPattern(node): TReturn

Parameters

Parameter	Type
node	ConstructorPattern

Returns

TReturn

Inherited from

PatternVisitor.visitConstructorPattern

---

visitContinue()

visitContinue(node): TReturn

Parameters

Parameter	Type
node	Continue

Returns

TReturn

Inherited from

StatementVisitor.visitContinue

---

visitDataExpr()

visitDataExpr(node): TReturn

Parameters

Parameter	Type
node	DataExpression

Returns

TReturn

Inherited from

ExpressionVisitor.visitDataExpr

---

visitEntryPoint()

visitEntryPoint(node): TReturn

Parameters

Parameter	Type
node	EntryPoint

Returns

TReturn

Inherited from

StatementVisitor.visitEntryPoint

---

visitEnumeration()

visitEnumeration(node): TReturn

Parameters

Parameter	Type
node	Enumeration

Returns

TReturn

Inherited from

StatementVisitor.visitEnumeration

---

visitEquality()

visitEquality(node): TReturn

Parameters

Parameter	Type
node	Equality

Returns

TReturn

Inherited from

TestingVisitor.visitEquality

---

visitEquation()

visitEquation(node): TReturn

Parameters

Parameter	Type
node	Equation

Returns

TReturn

Inherited from

StatementVisitor.visitEquation

---

visitExist()

visitExist(node): TReturn

Parameters

Parameter	Type
node	Exist

Returns

TReturn

Inherited from

ExpressionVisitor.visitExist

---

visitFact()

visitFact(node): TReturn

Parameters

Parameter	Type
node	Fact

Returns

TReturn

Inherited from

StatementVisitor.visitFact

---

visitFailure()

visitFailure(node): TReturn

Parameters

Parameter	Type
node	Failure

Returns

TReturn

Inherited from

TestingVisitor.visitFailure

---

visitField()

visitField(node): TReturn

Parameters

Parameter	Type
node	Field

Returns

TReturn

Inherited from

StatementVisitor.visitField

---

visitFieldExpr()

visitFieldExpr(node): TReturn

Parameters

Parameter	Type
node	FieldExpression

Returns

TReturn

Inherited from

ExpressionVisitor.visitFieldExpr

---

visitFindall()

visitFindall(node): TReturn

Parameters

Parameter	Type
node	Findall

Returns

TReturn

Inherited from

ExpressionVisitor.visitFindall

---

visitFor()

visitFor(node): TReturn

Parameters

Parameter	Type
node	For

Returns

TReturn

Inherited from

StatementVisitor.visitFor

---

visitForall()

visitForall(node): TReturn

Parameters

Parameter	Type
node	Forall

Returns

TReturn

Inherited from

ExpressionVisitor.visitForall

---

visitForLoop()

visitForLoop(node): TReturn

Parameters

Parameter	Type
node	ForLoop

Returns

TReturn

Inherited from

StatementVisitor.visitForLoop

---

visitFunction()

visitFunction(node): TReturn

Parameters

Parameter	Type
node	Function

Returns

TReturn

Inherited from

StatementVisitor.visitFunction

---

visitFunctorPattern()

visitFunctorPattern(node): TReturn

Parameters

Parameter	Type
node	FunctorPattern

Returns

TReturn

Inherited from

PatternVisitor.visitFunctorPattern

---

visitGenerator()

visitGenerator(node): TReturn

Parameters

Parameter	Type
node	Generator

Returns

TReturn

Inherited from

ExpressionVisitor.visitGenerator

---

visitGoal()

visitGoal(node): TReturn

Parameters

Parameter	Type
node	Goal

Returns

TReturn

Inherited from

ExpressionVisitor.visitGoal

---

visitGuardedBody()

visitGuardedBody(node): TReturn

Parameters

Parameter	Type
node	GuardedBody

Returns

TReturn

Inherited from

StatementVisitor.visitGuardedBody

---

visitIf()

visitIf(node): TReturn

Parameters

Parameter	Type
node	If

Returns

TReturn

Inherited from

StatementVisitor.visitIf

---

visitImplement()

visitImplement(node): TReturn

Parameters

Parameter	Type
node	Implement

Returns

TReturn

Inherited from

ExpressionVisitor.visitImplement

---

visitInput()

visitInput(node): TReturn

Parameters

Parameter	Type
node	Input

Returns

TReturn

Inherited from

StatementVisitor.visitInput

---

visitInstance()

visitInstance(node): TReturn

Parameters

Parameter	Type
node	Instance

Returns

TReturn

Inherited from

TypeClassVisitor.visitInstance

---

visitInterface()

visitInterface(node): TReturn

Parameters

Parameter	Type
node	Interface

Returns

TReturn

Inherited from

StatementVisitor.visitInterface

---

visitLambda()

visitLambda(node): TReturn

Parameters

Parameter	Type
node	Lambda

Returns

TReturn

Inherited from

ExpressionVisitor.visitLambda

---

visitLetInExpr()

visitLetInExpr(node): TReturn

Parameters

Parameter	Type
node	LetInExpression

Returns

TReturn

Inherited from

ExpressionVisitor.visitLetInExpr

---

visitListBinaryOperation()

visitListBinaryOperation(node): TReturn

Parameters

Parameter	Type
node	ListBinaryOperation

Returns

TReturn

Inherited from

OperationVisitor.visitListBinaryOperation

---

visitListComprehension()

visitListComprehension(node): TReturn

Parameters

Parameter	Type
node	ListComprehension

Returns

TReturn

Inherited from

ExpressionVisitor.visitListComprehension

---

visitListPattern()

visitListPattern(node): TReturn

Parameters

Parameter	Type
node	ListPattern

Returns

TReturn

Inherited from

PatternVisitor.visitListPattern

---

visitListPrimitive()

visitListPrimitive(node): TReturn

Parameters

Parameter	Type
node	ListPrimitive

Returns

TReturn

Inherited from

PrimitiveVisitor.visitListPrimitive

---

visitListType()

visitListType(node): TReturn

Parameters

Parameter	Type
node	ListType

Returns

TReturn

Inherited from

TypeVisitor.visitListType

---

visitListUnaryOperation()

visitListUnaryOperation(node): TReturn

Parameters

Parameter	Type
node	ListUnaryOperation

Returns

TReturn

Inherited from

OperationVisitor.visitListUnaryOperation

---

visitLiteralPattern()

visitLiteralPattern(node): TReturn

Parameters

Parameter	Type
node	LiteralPattern

Returns

TReturn

Inherited from

PatternVisitor.visitLiteralPattern

---

visitLogicalBinaryOperation()

visitLogicalBinaryOperation(node): TReturn

Parameters

Parameter	Type
node	LogicalBinaryOperation

Returns

TReturn

Inherited from

OperationVisitor.visitLogicalBinaryOperation

---

visitLogicalUnaryOperation()

visitLogicalUnaryOperation(node): TReturn

Parameters

Parameter	Type
node	LogicalUnaryOperation

Returns

TReturn

Inherited from

OperationVisitor.visitLogicalUnaryOperation

---

visitLogicConstraint()

visitLogicConstraint(node): TReturn

Parameters

Parameter	Type
node	LogicConstraint

Returns

TReturn

Inherited from

StatementVisitor.visitLogicConstraint

---

visitMethod()

visitMethod(node): TReturn

Parameters

Parameter	Type
node	Method

Returns

TReturn

Inherited from

StatementVisitor.visitMethod

---

visitNamedArgument()

visitNamedArgument(node): TReturn

Parameters

Parameter	Type
node	NamedArgument

Returns

TReturn

Inherited from

ExpressionVisitor.visitNamedArgument

---

visitNew()

visitNew(node): TReturn

Parameters

Parameter	Type
node	New

Returns

TReturn

Inherited from

ExpressionVisitor.visitNew

---

visitNilPrimitive()

visitNilPrimitive(node): TReturn

Parameters

Parameter	Type
node	NilPrimitive

Returns

TReturn

Inherited from

PrimitiveVisitor.visitNilPrimitive

---

visitNot()

visitNot(node): TReturn

Parameters

Parameter	Type
node	Not

Returns

TReturn

Inherited from

ExpressionVisitor.visitNot

---

visitNumberPrimitive()

visitNumberPrimitive(node): TReturn

Parameters

Parameter	Type
node	NumberPrimitive

Returns

TReturn

Inherited from

PrimitiveVisitor.visitNumberPrimitive

---

visitObject()

visitObject(node): TReturn

Parameters

Parameter	Type
node	Object

Returns

TReturn

Inherited from

StatementVisitor.visitObject

---

visitOtherwise()

visitOtherwise(node): TReturn

Parameters

Parameter	Type
node	Otherwise

Returns

TReturn

Inherited from

ExpressionVisitor.visitOtherwise

---

visitParameterizedType()

visitParameterizedType(node): TReturn

Parameters

Parameter	Type
node	ParameterizedType

Returns

TReturn

Inherited from

TypeVisitor.visitParameterizedType

---

visitPrimitiveMethod()

visitPrimitiveMethod(node): TReturn

Parameters

Parameter	Type
node	PrimitiveMethod

Returns

TReturn

Inherited from

StatementVisitor.visitPrimitiveMethod

---

visitPrint()

visitPrint(node): TReturn

Parameters

Parameter	Type
node	Print

Returns

TReturn

Inherited from

StatementVisitor.visitPrint

---

visitProcedure()

visitProcedure(node): TReturn

Parameters

Parameter	Type
node	Procedure

Returns

TReturn

Inherited from

StatementVisitor.visitProcedure

---

visitQuery()

visitQuery(node): TReturn

Parameters

Parameter	Type
node	Query

Returns

TReturn

Inherited from

StatementVisitor.visitQuery

---

visitRaise()

visitRaise(node): TReturn

Parameters

Parameter	Type
node	Raise

Returns

TReturn

Inherited from

StatementVisitor.visitRaise

---

visitRangeExpression()

visitRangeExpression(node): TReturn

Parameters

Parameter	Type
node	RangeExpression

Returns

TReturn

Inherited from

ExpressionVisitor.visitRangeExpression

---

visitRecord()

visitRecord(node): TReturn

Parameters

Parameter	Type
node	Record

Returns

TReturn

Inherited from

StatementVisitor.visitRecord

---

visitRepeat()

visitRepeat(node): TReturn

Parameters

Parameter	Type
node	Repeat

Returns

TReturn

Inherited from

StatementVisitor.visitRepeat

---

visitReturn()

visitReturn(node): TReturn

Parameters

Parameter	Type
node	Return

Returns

TReturn

Inherited from

StatementVisitor.visitReturn

---

visitRule()

visitRule(node): TReturn

Parameters

Parameter	Type
node	Rule

Returns

TReturn

Inherited from

StatementVisitor.visitRule

---

visitSelf()

visitSelf(node): TReturn

Parameters

Parameter	Type
node	Self

Returns

TReturn

Inherited from

StatementVisitor.visitSelf

---

visitSend()

visitSend(node): TReturn

Parameters

Parameter	Type
node	Send

Returns

TReturn

Inherited from

ExpressionVisitor.visitSend

---

visitSequence()

visitSequence(node): TReturn

Parameters

Parameter	Type
node	Sequence

Returns

TReturn

Inherited from

StatementVisitor.visitSequence

---

visitSimpleType()

visitSimpleType(node): TReturn

Parameters

Parameter	Type
node	SimpleType

Returns

TReturn

Inherited from

TypeVisitor.visitSimpleType

---

visitStringOperation()

visitStringOperation(node): TReturn

Parameters

Parameter	Type
node	StringOperation

Returns

TReturn

Inherited from

OperationVisitor.visitStringOperation

---

visitStringPrimitive()

visitStringPrimitive(node): TReturn

Parameters

Parameter	Type
node	StringPrimitive

Returns

TReturn

Inherited from

PrimitiveVisitor.visitStringPrimitive

---

visitStructure()

visitStructure(node): TReturn

Parameters

Parameter	Type
node	Structure

Returns

TReturn

Inherited from

StatementVisitor.visitStructure

---

visitSuper()

visitSuper(node): TReturn

Parameters

Parameter	Type
node	Super

Returns

TReturn

Inherited from

StatementVisitor.visitSuper

---

visitSwitch()

visitSwitch(node): TReturn

Parameters

Parameter	Type
node	Switch

Returns

TReturn

Inherited from

StatementVisitor.visitSwitch

---

visitSymbolPrimitive()

visitSymbolPrimitive(node): TReturn

Parameters

Parameter	Type
node	SymbolPrimitive

Returns

TReturn

Inherited from

PrimitiveVisitor.visitSymbolPrimitive

---

visitTest()

visitTest(node): TReturn

Parameters

Parameter	Type
node	Test

Returns

TReturn

Inherited from

TestingVisitor.visitTest

---

visitTestGroup()

visitTestGroup(node): TReturn

Parameters

Parameter	Type
node	TestGroup

Returns

TReturn

Inherited from

TestingVisitor.visitTestGroup

---

visitTruth()

visitTruth(node): TReturn

Parameters

Parameter	Type
node	Truth

Returns

TReturn

Inherited from

TestingVisitor.visitTruth

---

visitTry()

visitTry(node): TReturn

Parameters

Parameter	Type
node	Try

Returns

TReturn

Inherited from

StatementVisitor.visitTry

---

visitTupleExpr()

visitTupleExpr(node): TReturn

Parameters

Parameter	Type
node	TupleExpression

Returns

TReturn

Inherited from

ExpressionVisitor.visitTupleExpr

---

visitTuplePattern()

visitTuplePattern(node): TReturn

Parameters

Parameter	Type
node	TuplePattern

Returns

TReturn

Inherited from

PatternVisitor.visitTuplePattern

---

visitTupleType()

visitTupleType(node): TReturn

Parameters

Parameter	Type
node	TupleType

Returns

TReturn

Inherited from

TypeVisitor.visitTupleType

---

visitTypeAlias()

visitTypeAlias(node): TReturn

Parameters

Parameter	Type
node	TypeAlias

Returns

TReturn

Inherited from

TypeVisitor.visitTypeAlias

---

visitTypeApplication()

visitTypeApplication(node): TReturn

Parameters

Parameter	Type
node	TypeApplication

Returns

TReturn

Inherited from

TypeVisitor.visitTypeApplication

---

visitTypeCast()

visitTypeCast(node): TReturn

Parameters

Parameter	Type
node	TypeCast

Returns

TReturn

Inherited from

TypeVisitor.visitTypeCast

---

visitTypeClass()

visitTypeClass(node): TReturn

Parameters

Parameter	Type
node	TypeClass

Returns

TReturn

Inherited from

TypeClassVisitor.visitTypeClass

---

visitTypePattern()

visitTypePattern(node): TReturn

Parameters

Parameter	Type
node	TypePattern

Returns

TReturn

Inherited from

PatternVisitor.visitTypePattern

---

visitTypeSignature()

visitTypeSignature(node): TReturn

Parameters

Parameter	Type
node	TypeSignature

Returns

TReturn

Inherited from

TypeVisitor.visitTypeSignature

---

visitTypeVar()

visitTypeVar(node): TReturn

Parameters

Parameter	Type
node	TypeVar

Returns

TReturn

Inherited from

TypeVisitor.visitTypeVar

---

visitUnguardedBody()

visitUnguardedBody(node): TReturn

Parameters

Parameter	Type
node	UnguardedBody

Returns

TReturn

Inherited from

StatementVisitor.visitUnguardedBody

---

visitUnifyOperation()

visitUnifyOperation(node): TReturn

Parameters

Parameter	Type
node	UnifyOperation

Returns

TReturn

Inherited from

OperationVisitor.visitUnifyOperation

---

visitUnionPattern()

visitUnionPattern(node): TReturn

Parameters

Parameter	Type
node	UnionPattern

Returns

TReturn

Inherited from

PatternVisitor.visitUnionPattern

---

visitVariable()

visitVariable(node): TReturn

Parameters

Parameter	Type
node	Variable

Returns

TReturn

Inherited from

StatementVisitor.visitVariable

---

visitVariablePattern()

visitVariablePattern(node): TReturn

Parameters

Parameter	Type
node	VariablePattern

Returns

TReturn

Inherited from

PatternVisitor.visitVariablePattern

---

visitWhile()

visitWhile(node): TReturn

Parameters

Parameter	Type
node	While

Returns

TReturn

Inherited from

StatementVisitor.visitWhile

---

visitWildcardPattern()

visitWildcardPattern(node): TReturn

Parameters

Parameter	Type
node	WildcardPattern

Returns

TReturn

Inherited from

PatternVisitor.visitWildcardPattern

---

visitYield()

visitYield(node): TReturn

Parameters

Parameter	Type
node	Yield

Returns

TReturn

Inherited from

ExpressionVisitor.visitYield