Ejemplos de TypeCheckArgs.AddConditionDependentOn en Golang

Ejemplo n.º 1

Archivo: typecheckstmt.go Proyecto: software-engineering-amsterdam/multi-ql

func (this If) TypeCheck(typeCheckArgs interfaces.TypeCheckArgs) {
	checkForNonBoolCondition(this.Condition(), typeCheckArgs)

	this.Condition().TypeCheck(typeCheckArgs)
	typeCheckArgs = typeCheckArgs.AddConditionDependentOn(this.Condition())

	this.Body().TypeCheck(typeCheckArgs)
}