Method | Description | |
---|---|---|
__construct ( |
||
unionTypeFromClassNode ( |
||
unionTypeFromNode ( |
||
visit ( ast\Node $node ) : |
Default visitor for node kinds that do not have an overriding method | |
visitArray ( ast\Node $node ) : |
Visit a node with kind \ast\AST_ARRAY | |
visitAssign ( ast\Node $node ) : |
Visit a node with kind \ast\AST_ASSIGN | |
visitAssignRef ( ast\Node $node ) : |
Visit a node with kind \ast\AST_ASSIGN_REF | |
visitBinaryOp ( ast\Node $node ) : |
Visit a node with kind \ast\AST_BINARY_OP | |
visitCall ( ast\Node $node ) : |
Visit a node with kind \ast\AST_CALL | |
visitCast ( ast\Node $node ) : |
Visit a node with kind \ast\AST_CAST | |
visitClassConst ( ast\Node $node ) : |
Visit a node with kind \ast\AST_CLASS_CONST | |
visitClone ( ast\Node $node ) : |
Visit a node with kind \ast\AST_CLONE | |
visitClosure ( ast\Node\Decl $node ) : |
Visit a node with kind \ast\AST_CLOSURE | |
visitCoalesce ( ast\Node $node ) : |
Visit a node with kind \ast\AST_COALESCE | |
visitConditional ( ast\Node $node ) : |
Visit a node with kind \ast\AST_CONDITIONAL | |
visitConst ( ast\Node $node ) : |
Visit a node with kind \ast\AST_CONST | |
visitDim ( ast\Node $node ) : |
Visit a node with kind \ast\AST_DIM | |
visitEmpty ( ast\Node $node ) : |
Visit a node with kind \ast\AST_EMPTY | |
visitEncapsList ( ast\Node $node ) : |
Visit a node with kind \ast\AST_ENCAPS_LIST | |
visitGreater ( ast\Node $node ) : |
Visit a node with kind \ast\AST_GREATER | |
visitGreaterEqual ( ast\Node $node ) : |
Visit a node with kind \ast\AST_GREATER_EQUAL | |
visitIncludeOrEval ( ast\Node $node ) : |
Visit a node with kind \ast\AST_INCLUDE_OR_EVAL | |
visitInstanceOf ( ast\Node $node ) : |
Visit a node with kind \ast\AST_INSTANCEOF | |
visitIsset ( ast\Node $node ) : |
Visit a node with kind \ast\AST_ISSET | |
visitMagicConst ( ast\Node $node ) : |
Visit a node with kind \ast\AST_MAGIC_CONST | |
visitMethodCall ( ast\Node $node ) : |
Visit a node with kind \ast\AST_METHOD_CALL | |
visitName ( ast\Node $node ) : |
Visit a node with kind \ast\AST_NAME | |
visitNew ( ast\Node $node ) : |
Visit a node with kind \ast\AST_NEW | |
visitPostDec ( ast\Node $node ) : |
Visit a node with kind \ast\AST_POST_DEC | |
visitPostInc ( ast\Node $node ) : |
Visit a node with kind \ast\AST_POST_INC | |
visitPreDec ( ast\Node $node ) : |
Visit a node with kind \ast\AST_PRE_DEC | |
visitPreInc ( ast\Node $node ) : |
Visit a node with kind \ast\AST_PRE_INC | |
visitProp ( ast\Node $node ) : |
Visit a node with kind \ast\AST_PROP | |
visitShellExec ( ast\Node $node ) : |
Visit a node with kind \ast\AST_SHELL_EXEC | |
visitStaticCall ( ast\Node $node ) : |
Visit a node with kind \ast\AST_STATIC_CALL | |
visitStaticProp ( ast\Node $node ) : |
Visit a node with kind \ast\AST_STATIC_PROP | |
visitType ( ast\Node $node ) : |
Visit a node with kind \ast\AST_TYPE | |
visitUnaryMinus ( ast\Node $node ) : |
Visit a node with kind \ast\AST_UNARY_MINUS | |
visitUnaryOp ( ast\Node $node ) : |
Visit a node with kind \ast\AST_UNARY_OP | |
visitVar ( ast\Node $node ) : |
Visit a node with kind \ast\AST_VAR |
Method | Description | |
---|---|---|
classListFromNode ( ast\Node $node ) : Generator | |
||
visitClassNode ( ast\Node $node ) : |
* |
public __construct ( |
||
$code_base | The code base within which we're operating | |
$context | The context of the parser at the node for which we'd like to determine a type | |
$should_catch_issue_exception | boolean | Set to true to cause loggable issues to be thrown instead of emitted as issues to the log. |
public static unionTypeFromClassNode ( |
||
$code_base | The code base within which we're operating | |
$context | $context The context of the parser at the node for which we'd like to determine a type | |
$node | ast\Node | mixed | The node for which we'd like to determine its type |
return | The UnionType associated with the given node in the given Context within the given CodeBase |
public static unionTypeFromNode ( |
||
$code_base | The code base within which we're operating | |
$context | $context The context of the parser at the node for which we'd like to determine a type | |
$node | ast\Node | mixed | The node for which we'd like to determine its type |
$should_catch_issue_exception | boolean | Set to true to cause loggable issues to be thrown instead |
return | The UnionType associated with the given node in the given Context within the given CodeBase |
public visit ( ast\Node $node ) : |
||
$node | ast\Node | An AST node we'd like to determine the UnionType for |
return | The set of types associated with the given node |
public visitArray ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitAssign ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitAssignRef ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitBinaryOp ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitCall ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitCast ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitClassConst ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitClone ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitClosure ( ast\Node\Decl $node ) : |
||
$node | ast\Node\Decl | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitCoalesce ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitConditional ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitConst ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitDim ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitEmpty ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitEncapsList ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitGreater ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitGreaterEqual ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitIncludeOrEval ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitInstanceOf ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitIsset ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitMagicConst ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitMethodCall ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitName ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitNew ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitPostDec ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitPostInc ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitPreDec ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitPreInc ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitProp ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitShellExec ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitStaticCall ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitStaticProp ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitType ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitUnaryMinus ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitUnaryOp ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |
public visitVar ( ast\Node $node ) : |
||
$node | ast\Node | A node of the type indicated by the method name that we'd like to figure out the type that it produces. |
return | The set of types that are possibly produced by the given node |