Property definitions

nitcc_runtime $ DFAState :: defaultinit
# A state in a lexer automaton generated by nitcc
# Used by generated lexers
interface DFAState
	fun is_accept: Bool do return false
	fun trans(c: Char): nullable DFAState do return null
	fun make_token(position: Position, source: String): nullable NToken is abstract
	fun is_ignored: Bool do return false
end
lib/nitcc_runtime/nitcc_runtime.nit:256,1--263,3