Class Env

Class holding current state.

public class Env

Inherited Members: object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Constructors

Initializes a new instance of the Env class.

protected Env()

Copy another Env object.

public Env(Env other)

Starting bracket position.

protected int bra

Gets the current string.

protected StringBuilder current

Current cursor position.

protected int cursor

Ending bracket position.

protected int ket

Forward limit for inspecting the buffer.

protected int limit

Backward limit for inspecting the buffer.

protected int limit_backward

Copy another Env object.

protected void copy_from(Env other)