NAME
MooseX::Declare::Context - Per-keyword declaration context
DESCRIPTION
This is not a subclass of Devel::Declare::Context::Simple, but it will delegate all default methods and extend it with some attributes and methods of its own.
A context object will be instanciated for every keyword that is handled by MooseX::Declare. If handlers want to communicate with other handlers (for example handlers that will only be setup inside a namespace block) it must do this via the generated code.
TYPES
CodePart
A part of code represented by either a Str
or a "BlockCodePart".
BlockCodePart
An ArrayRef
with at least one element that stringifies to either BEGIN
or END
. The other parts will be stringified and used as the body for the generated block. An example would be this compiletime role composition:
['BEGIN', 'with q{ MyRole }']
ATTRIBUTES
caller_file
A required Str
containing the file the keyword was encountered in.
preamble_code_parts
An ArrayRef
of "CodePart"s that will be used as preamble. A preamble in this context means the beginning of the generated code.
scope_code_parts
These parts will come before the actual body and after the "preamble_code_parts". It is an ArrayRef
of "CodePart"s.
cleanup_code_parts
An ArrayRef
of "CodePart"s that will not be directly inserted into the code, but instead be installed in a handler that will run at the end of the scope so you can do namespace cleanups and such.
stack
An ArrayRef
that contains the stack of handlers. A keyword that was only setup inside a scoped block will have the blockhandler be put in the stack.
METHODS
All methods from Devel::Declare::Context::Simple should be available and will be delegated to an internally stored instance of it.
add_preamble_code_parts(CodePart @parts)
add_scope_code_parts(CodePart @parts)
add_cleanup_code_parts(CodePart @parts)
Object->add_preamble_code_parts (CodeRef @parts)
Object->add_scope_code_parts (CodeRef @parts)
Object->add_cleanup_code_parts (CodeRef @parts)
For these three methods please look at the corresponding *_code_parts
attribute in the list above. These methods are merely convenience methods that allow adding entries to the code part containers.
inject_code_parts_here
True Object->inject_code_parts_here (CodePart @parts)
Will inject the passed "CodePart"s at the current position in the code.
peek_next_char
Str Object->peek_next_char ()
Will return the next char without stripping it from the stream.
inject_code_parts
Object->inject_code_parts (
Bool :$inject_cleanup_code_parts,
CodeRef :$missing_block_handler
)
This will inject the code parts from the attributes above at the current position. The preamble and scope code parts will be inserted first. Then then call to the cleanup code will be injected, unless the options contain a key named inject_cleanup_code_parts
with a false value.
The inject_if_block
method will be called if the next char is a {
indicating a following block.
If it is not a block, but a semi-colon is found and the options contained a missing_block_handler
key was passed, it will be called as method on the context object with the code to inject and the options as arguments. All options that are not recognized are passed through to the missing_block_handler
. You are well advised to prefix option names in your extensions.
strip_name_and_options
List Object->strip_name_and_options ()
This will remove an identifier plus any options that follow it from the stream. Options are things like is Trait
, with Role
and extends ParentClass
. Currently, only these are supported.
The return value is a list with two values:
- Str $name
-
The name that was read.
- HashRef $options
-
The options that followed the name. This is the returned format:
Dict[ is => HashRef[Bool], extends => ArrayRef[ParentClass], with => ArrayRef[Role], ]
SEE ALSO
AUTHOR, COPYRIGHT & LICENSE
See MooseX::Declare