core/levsha/IdBuilder

IdBuilder

final class IdBuilder(maxLevel: Int)
Companion
object
class Object
trait Matchable
class Any

Value members

Concrete methods

def decId(): Unit
def decLevel(): Unit

Resets current id and decreases level

Resets current id and decreases level

def decLevelTmp(): Unit

Just decreases level

Just decreases level

def getLevel: Int
def incId(): Unit
def incLevel(): Unit
def mkArray: Array[Short]
def mkId: Id
def mkString(sep: Char): String
def mkString: String
def reset(): Unit