C# Class Algebra.QL.Extensions.TypeCheck.Stmnt.GotoStmnt

Inheritance: ITypeCheckStmnt
Mostrar archivo Open project: software-engineering-amsterdam/poly-ql

Public Methods

Method Description
GotoStmnt ( ) : System
TypeCheck ( ITypeEnvironment env ) : void

Method Details

GotoStmnt() public method

public GotoStmnt ( ) : System
return System

TypeCheck() public method

public TypeCheck ( ITypeEnvironment env ) : void
env ITypeEnvironment
return void