Identifier for a spec is always its qualified name This is a
temp shim until we move haystack::Dict fully into Xeto.
MSpecArgs
Assembled XetoSpec (stub only in AST until Assemble step)
Base spec from which this spec directly inherits its meta
and slots. Returns null if this is sys::Obj itself.
Binding for spec type
Base spec or null if this sys::Obj itself
Lookup enum item by its key - raise exception if not enum type
Optionalchecked: booleanReturn if spec inherits from that from a nominal type perspective. This is the same behavior as Spec.isa, just using CSpec (XetoSpec or AST)
Effective meta
Return if effective meta has given slot name
Return item for seq/ref
Return a negative integer, zero, or a positive integer if this object is less than, equal to, or greater than the specified object:
this < that => <0
this == that => 0
this > that => >0
This method may also be accessed via the < <= <=> >= and >
shortcut operators. If not overridden the default
implementation compares the toStr
representations. Also see docLang.
Examples:
3.compare(8) => -1
8.compare(3) => 1
8.compare(8) => 0
3 <=> 8 => -1 // shortcut for 3.compare(8)
Type of the spec or if this a type then return self
Get display string for dict or the given tag. If name is
null, then return display text for the entire dict using Etc.dictToDis.
If name is non-null then format the tag value using its
appropiate toLocale method. If name is not defined by this
dict, then return def.
Optionalname: stringOptionaldef: stringCompare this object to the specified for equality. This
method may be accessed via the == and != shortcut operators.
If not overridden the default implementation compares for
reference equality using the === operator. If this method
is overridden, then hash() must also be overridden such that
any two objects which return true for equals() must return
the same value for hash(). This method must accept null and
return false.
MSpecFlags bitmask flags
Flavor: type, global, meta, slot
Return true if this dictionary contains given name
Return a unique hashcode for this object. If a class overrides hash() then it must ensure if equals() returns true for any two objects then they have same hash code.
Is there one or more effective slots
Get the id tag as a Ref or raise CastErr/UnknownNameErr
Return if this spec inherits from that from a nominal type
perspective. Nonimal typing matches any of the following
conditions:
that matches one of this inherited specs via basethis is maybe and that is Nonethis is And and that matches any this.ofsthis is Or and that matches all this.ofs (common base)that is Or and this matches any of that.ofsIs base sys::And
Return if this an AST ASpec
Return if this is a spec that inherits from sys::Choice. If
this spec inherits from a choice via a And/Or type then
return false. See LibNamespace.choice
to access SpecChoice API.
Inherits from sys.comp::Comp without considering And/Or
Does this spec directly inherits from And/Or and define ofs
Inherits from sys::Dict without considering And/Or
Return if the there are no name/value pairs
Is the base sys::Enum
Return if this a FuncSpec that models a function signature
Inherits from sys::Interface without considering And/Or
Inherits from sys::List without considering And/Or
Inherits from sys::Marker without considering And/Or
Does meta have maybe tag
Inherits from sys::MultiRef without considering And/Or
Is this the sys::None spec
Is base sys::Or
Inherits from sys::Query without considering And/Or
Inherits from sys::Ref without considering And/Or
Inherits from sys::Scalar without considering And/Or
Is this the sys::Self spec
Is this spec in the sys library
Parent library for spec
Get my effective meta; this does not include synthesized
tags like spec
Get my own declared meta-data
Return true if this dictionary does not contain given name
Optionalchecked: booleanReturn fully qualified name of this spec:
Get the effective children slots including inherited
Get the declared children slots
Get an immutable representation of this instance or throw NotImmutableErr if this object cannot be represented as an immutable:
Return a string representation of this object.
Trap a dynamic call for handling. Dynamic calls are invoked with the -> shortcut operator:
a->x a.trap("x", null)
a->x() a.trap("x", null)
a->x = b a.trap("x", [b])
a->x(b) a.trap("x", [b])
a->x(b, c) a.trap("x", [b, c])
The default implementation provided by Obj attempts to use reflection. If name maps to a method, it is invoked with the specified arguments. If name maps to a field and args.size is zero, get the field. If name maps to a field and args.size is one, set the field and return args[0]. Otherwise throw UnknownSlotErr.
Type of this spec. If this spec is a top level type then return self.
This method called whenever an it-block is applied to an
object. The default implementation calls the function with this,
and then returns this.
StaticechoWrite x.toStr to standard output followed by newline. If x
is null then print "null". If no argument is provided then
print an empty line.
Optionalx: JsObjStaticmakeStaticmakem
XetoSpec is the referential proxy for MSpec