Type Hierarchy:

Represents the current context of a Goal execution. It contains arguments passed to the current Goal and also a Writer for output reporting.

Initializer
Context({String*} arguments, Writer writer)
Parameters:
  • arguments

    arguments for the current Goal

  • writer

    The output writer

Attributes
argumentsSource Code
shared {String*} arguments

arguments for the current Goal

writerSource Code
shared Writer writer

The output writer

Inherited Attributes
Attributes inherited from: Object
hash, string
Inherited Methods
Methods inherited from: Object
equals