core/it.unibo.tuprolog.core/Atom/Companion

Companion

object Companion

Properties

val ATOM_PATTERN: Regex

The pattern a well-formed, quote-free Atom value must match. Same as Struct.WELL_FORMED_FUNCTOR_PATTERN.

Functions

fun escapeValue(string: String): String

Wraps string in single quotes, unconditionally. See Struct.enquoteFunctor.

escapeValueIfNecessary

fun escapeValueIfNecessary(string: String): String

Wraps string in single quotes, but only if it is not ATOM_PATTERN-well-formed.

fun of(value: String): Atom

Creates an Atom with the given value. Never throws, regardless of whether value is well-formed: ill-formed atoms are simply rendered quoted (see Struct.enquoteFunctorIfNecessary) when converted to String.