Metaclass

Inherits from Class
Sealed

Metaclass — The class of all metaclass objects in the Beamtalk system.

Implements the full metaclass protocol (ADR 0036). Every class Foo has a corresponding metaclass Foo class, which is an instance of Metaclass. Metaclass is sealed — users cannot subclass it.

Metaclass Tower

Counter class class        => Metaclass  (instance of Metaclass)
Metaclass class class      => Metaclass class  (self-grounding fixed point)
Counter class superclass   => Actor class      (parallel hierarchy)

Examples

42 class class isMeta           // => true
42 class class name             // => 'Integer class'
42 class class thisClass        // => Integer
Metaclass class class == Metaclass class  // => true

Class Methods

new Sealed source

Raises an error — metaclasses cannot be constructed directly.

Use x class class to obtain a metaclass for a class x.

Examples

Metaclass new   // => Error: 'Use x class class to obtain a metaclass'

Instance Methods

isMeta Sealed source

Test whether this is a metaclass. Always true for Metaclass instances.

Examples

42 class class isMeta   // => true
isClass Sealed source

Test whether this is a Class (not a Metaclass). Always false.

Examples

42 class class isClass   // => false
isMetaclass Sealed source

Test whether this is a Metaclass. Always true.

Examples

42 class class isMetaclass   // => true
thisClass Sealed source

Return the class that this metaclass describes.

Examples

42 class class thisClass   // => Integer
name Sealed source

Return the name of this metaclass (e.g. 'Integer class').

Examples

42 class class name   // => 'Integer class'
printString Sealed source

Return a human-readable string representation of this metaclass.

Examples

42 class class printString   // => 'Integer class'
superclass Sealed source

Return the superclass in the parallel metaclass hierarchy.

The superclass of Counter's metaclass is the metaclass of Counter's superclass.

Examples

Counter class class superclass == Actor class class   // => true
allMethods Sealed source

Return all selectors callable on the described class object (class-side + Behaviour protocol).

Combines user-defined class-side methods of the described class (via classMethods) with the Behaviour protocol inherited through the Class hierarchy (reload, superclass, allMethods, subclasses, etc.). Result is deduplicated and sorted.

Examples

Counter class allMethods includes: #new        // => true
Counter class allMethods includes: #reload     // => true
Counter class allMethods includes: #superclass // => true
classMethods Sealed source

Return all class-side selectors of the described class (includes inherited).

Examples

Counter class class classMethods   // => [...]
localClassMethods Sealed source

Return class-side selectors defined locally in the described class.

Examples

Counter class class localClassMethods   // => [...]
classIncludesSelector: selector Sealed source

Test whether the described class defines the given class-side selector.

Examples

Integer class class classIncludesSelector: #new   // => true
packageName Sealed source

Return the name of the package that owns the described class.

Extracts the package name from the class registry or .app metadata. Returns nil if the class has no package association.

Examples

Integer class packageName   // => "stdlib"
package Sealed source

Return the Package that owns the described class.

Returns nil if the class has no package association.

Examples

Integer class package   // => _

Inherited Methods

From Class

name Sealed

Return the name of the class as a Symbol.

Examples

Counter name   // => #Counter
Integer name   // => #Integer
printString Sealed

Return a human-readable string representation.

Examples

Counter printString   // => "Counter"
isClass Sealed

Test whether this is a Class (not a Metaclass).

Examples

Counter isClass   // => true
class Sealed

Return the metaclass for this class (ADR 0036).

Examples

Counter class   // => Metaclass
classBuilder Sealed

Return a new ClassBuilder for creating a subclass of the receiver.

The builder is a short-lived Actor that accumulates class configuration via cascaded messages. Call register as the terminal message.

Examples

Object classBuilder name: #Foo; register

From Behaviour

>> aSelector Sealed

Look up a method by selector, returning a CompiledMethod object, or nil if the selector is not found in the method dictionary.

Follows Smalltalk-80 convention: Behaviour >> #selector returns a CompiledMethod with selector, source, and argument count metadata.

Examples

(Integer >> #+) selector         // => #+
(Integer >> #+) argumentCount    // => 1
Integer >> #nonExistent          // => nil
superclass Sealed

Return the superclass of the receiver as a class object, or nil for roots.

Examples

Counter superclass      // => Actor (as class object)
ProtoObject superclass  // => nil
allSuperclasses Sealed

Return all superclasses in order from immediate parent to root.

Examples

Counter allSuperclasses   // => [Actor, Object, ProtoObject]
subclasses Sealed

Return direct subclasses of the receiver as a list of class objects.

Examples

Object subclasses   // => [Behaviour, Actor, Integer, ...]
allSubclasses Sealed

Return all subclasses transitively (breadth-first) as class objects.

Examples

Object allSubclasses   // => [Behaviour, Class, Actor, ...]
inheritsFrom: aClass Sealed

Test whether the receiver strictly inherits from aClass (self not included).

Pure Beamtalk — delegates to allSuperclasses.

Examples

Counter inheritsFrom: Actor    // => true
Counter inheritsFrom: Counter  // => false
includesBehaviour: aBehaviour Sealed

Test whether aBehaviour is the receiver or one of its ancestors.

Pure Beamtalk — identity check plus inheritsFrom:.

Examples

Counter includesBehaviour: Counter  // => true
Counter includesBehaviour: Actor    // => true
Counter includesBehaviour: Integer  // => false
methods Sealed

Return selectors defined on this class (not inherited).

Examples

Counter methods   // => [increment, getValue]
allMethods Sealed

Return all selectors understood by instances, including inherited ones.

Walks the class chain collecting methods at each level.

Examples

Counter allMethods   // => [increment, getValue, class, respondsTo:, ...]
canUnderstand: selector Sealed

Test whether instances of the receiver understand the given selector (checks full inheritance chain).

Pure Beamtalk — checks local then walks hierarchy.

Examples

Counter canUnderstand: #increment  // => true
Counter canUnderstand: #class      // => true (inherited from ProtoObject)
Counter canUnderstand: #bogus      // => false
includesSelector: selector Sealed

Test whether the selector is defined locally in this class (does not check superclasses).

Examples

Counter includesSelector: #increment  // => true
Counter includesSelector: #class      // => false (defined in ProtoObject)
whichClassIncludesSelector: selector Sealed

Walk the hierarchy and return the class that defines the given selector, or nil if no class defines it.

Pure Beamtalk — walks self then allSuperclasses.

Examples

Counter whichClassIncludesSelector: #class  // => ProtoObject
fieldNames Sealed

Return the names of fields declared in this class (not inherited).

Examples

Counter fieldNames   // => [value]
allFieldNames Sealed

Return all field names including inherited, in slot order.

Examples

Counter allFieldNames   // => [value]
doc Sealed

Return the class documentation string, or nil if none set.

Examples

Counter doc           // => nil (or "A counter actor" if set)
doc: aString Sealed

Set the class documentation string. Returns the receiver.

Examples

Counter doc: "A counter actor"
Counter doc           // => "A counter actor"
setDocForMethod: aSelector to: aString Sealed

Set the documentation string for a specific method. Returns the receiver.

Examples

Counter setDocForMethod: #increment to: "Increment the counter by 1"
(Counter >> #increment) doc   // => "Increment the counter by 1"
docForMethod: aSelector Sealed

Return the documentation string for a specific method, or nil if no doc is set or the method does not exist.

Examples

Counter docForMethod: #increment   // => "Increase the counter by one." (or nil)
Counter docForMethod: #nonExistent // => nil
isBehaviour Sealed

Test whether this is a Behaviour (class-describing object).

Examples

Counter isBehaviour   // => true
42 isBehaviour        // => false
isMeta Sealed

Test whether this is a metaclass. Returns false; overridden in Metaclass.

Examples

Counter isMeta   // => false
isMetaclass Sealed

Test whether this is a Metaclass. Returns false; overridden in Metaclass.

Examples

Counter isMetaclass   // => false
Integer isMetaclass   // => false
conformsTo: protocolName Sealed

Test whether instances of the receiver conform to a protocol.

Structural conformance: the class conforms if it responds to all required selectors of the protocol.

Examples

Integer conformsTo: #Printable    // => true
Integer conformsTo: #Sortable     // => false (if Sortable requires sortKey)
protocols Sealed

Return the list of protocols this class conforms to.

Returns a list of protocol name symbols, sorted alphabetically.

Examples

Integer protocols   // => [#Printable, #Comparable, ...]
sourceFile Sealed

Return the path of the source file this class was compiled from, or nil.

Returns nil for stdlib classes, bootstrap classes, and classes created via ClassBuilder (dynamic classes with no backing file).

Examples

Counter sourceFile   // => "examples/counter.bt"
Integer sourceFile   // => nil (stdlib built-in)
reload Sealed

Recompile this class from its source file and hot-swap the BEAM module.

Live actors pick up new code on next message dispatch (BEAM two-version code loading — no state migration needed for method changes).

Raises an error if sourceFile is nil — stdlib and dynamic classes (created via ClassBuilder) cannot be reloaded from source.

Examples

Counter reload              // recompile + hot-swap Counter
Integer reload              // => Error: Integer has no source file — stdlib classes cannot be reloaded
removeFromSystem Sealed

Remove this class from the system, cleaning up all associated state.

Follows Smalltalk convention (Counter removeFromSystem). Performs full cleanup: stops live actors of the class, terminates the class gen_server, removes from class hierarchy ETS table and pg group, and purges the BEAM module.

Safety checks:

  • Refuses to remove stdlib/sealed classes (Integer, String, Object, etc.)
  • Refuses if class has subclasses (must remove children first)
  • Stops all live actors of this class before removal

Examples

Counter removeFromSystem   // => nil (Counter class removed)
Integer removeFromSystem   // => Error: cannot remove stdlib class

From Object

class

Return the class of the receiver.

Examples

42 class              // => Integer
"hello" class         // => String
isNil

Test if the receiver is nil. Returns false for all objects except nil.

Examples

42 isNil              // => false
nil isNil             // => true
notNil

Test if the receiver is not nil. Returns true for all objects except nil.

Examples

42 notNil             // => true
nil notNil            // => false
ifNil: _nilBlock

If the receiver is nil, evaluate nilBlock. Otherwise return self.

Examples

42 ifNil: [0]         // => 42
nil ifNil: [0]        // => 0
ifNotNil: notNilBlock

If the receiver is not nil, evaluate notNilBlock with self.

Examples

42 ifNotNil: [:v | v + 1]   // => 43
nil ifNotNil: [:v | v + 1]  // => nil
ifNil: _nilBlock ifNotNil: notNilBlock

If nil, evaluate nilBlock; otherwise evaluate notNilBlock with self.

Examples

42 ifNil: [0] ifNotNil: [:v | v + 1]    // => 43
nil ifNil: [0] ifNotNil: [:v | v + 1]   // => 0
ifNotNil: notNilBlock ifNil: _nilBlock

If not nil, evaluate notNilBlock with self; otherwise evaluate nilBlock.

Examples

42 ifNotNil: [:v | v + 1] ifNil: [0]    // => 43
nil ifNotNil: [:v | v + 1] ifNil: [0]   // => 0
printString

Return a developer-readable string representation.

Default implementation returns "a ClassName". Subclasses such as Integer, String, and List override this to return richer output.

Examples

42 printString            // => "42"
displayString

Return a user-facing string representation for display purposes.

Default implementation delegates to printString. Subclasses such as String and Symbol override this to return a more readable form without developer annotations (e.g. no surrounding quotes or # prefix).

Examples

42 displayString             // => "42"
inspect

Inspect the receiver.

Examples

42 inspect             // => "42"
yourself Sealed

Return the receiver itself. Useful for cascading side effects.

Examples

42 yourself            // => 42
hash

Return a hash value for the receiver.

Examples

42 hash
respondsTo: selector Sealed

Test if the receiver responds to the given selector.

Examples

42 respondsTo: #abs    // => true
fieldNames Sealed

Return the names of fields.

Examples

42 fieldNames             // => #()
fieldAt: name Sealed

Return the value of the named field.

Examples

object fieldAt: #name
fieldAt: name put: value Sealed

Set the value of the named field (returns new state).

Examples

object fieldAt: #name put: "Alice"
perform: selector Sealed

Send a unary message dynamically.

Examples

42 perform: #abs       // => 42
perform: selector withArguments: args Sealed

Send a message dynamically with arguments.

Examples

3 perform: #max: withArguments: #(5)   // => 5
subclassResponsibility

Raise an error indicating this method must be overridden by a subclass.

Examples

self subclassResponsibility
notImplemented

Raise an error indicating this method has not yet been implemented.

Use this for work-in-progress stubs. Distinct from subclassResponsibility, which signals an interface contract violation.

Examples

self notImplemented
show: aValue

Send aValue to the current transcript without a trailing newline.

Nil-safe: does nothing when no transcript is set (batch compile, tests).

Examples

42 show: "value: "
showCr: aValue

Send aValue to the current transcript followed by a newline.

Nil-safe: does nothing when no transcript is set (batch compile, tests).

Examples

42 showCr: "hello world"
isKindOf: aClass

Test if the receiver is an instance of aClass or any of its subclasses.

Examples

42 isKindOf: Integer    // => true
42 isKindOf: Object     // => true
#foo isKindOf: Symbol   // => true
#foo isKindOf: String   // => false
error: message

Raise an error with the given message.

Examples

self error: "something went wrong"

From ProtoObject

== other

Test value equality (Erlang ==).

Examples

42 == 42           // => true
"abc" == "abc"     // => true
/= other

Test value inequality (negation of ==).

Examples

1 /= 2             // => true
42 /= 42           // => false
class

Return the class of the receiver.

Examples

42 class            // => Integer
"hello" class       // => String
doesNotUnderstand: selector args: arguments

Handle messages the receiver does not understand. Override for custom dispatch.

Examples

42 unknownMessage   // => ERROR: does_not_understand
perform: selector withArguments: arguments

Send a message dynamically with an arguments list.

Examples

42 perform: #abs withArguments: #()   // => 42
performLocally: selector withArguments: arguments

Execute a class method in the caller's process, bypassing gen_server dispatch.

The caller takes responsibility for knowing the method does not mutate class state. Useful for long-running class methods that would otherwise block the class object's gen_server.

Limitations: only resolves methods defined directly on the target class module (does not walk the superclass chain). Class variables and self are not available to the method (nil and #{} are passed).

Examples

MyClass performLocally: #run:ctx: withArguments: #(input, ctx)
perform: selector withArguments: arguments timeout: timeoutMs

Send a message dynamically with an arguments list and explicit timeout.

The timeout (in milliseconds or #infinity) applies to the gen_server:call when the receiver is an actor. For value types, timeout is ignored.

Examples

actor perform: #query withArguments: #(sql) timeout: 30000