WfAnalyzer_Misc.cpp

#include "WfAnalyzer.h"

namespace

{

namespace

workflow

{

namespace

analyzer

{

using

namespace

collections

;

using

namespace

reflection

;

using

namespace

reflection

description

;

/*********************************************************************** IsExpressionDependOnExpectedType(Expression) ***********************************************************************/

class

IsExpressionDependOnExpectedTypeVisitor

public

empty_visitor

ExpressionVisitor

public

empty_visitor

VirtualCseExpressionVisitor

{

public

WfLexicalScopeManager

manager

;

bool

result

false

;

IsExpressionDependOnExpectedTypeVisitor

(

WfLexicalScopeManager

_manager

) :manager(

_manager

) { }

void

Dispatch

(

WfVirtualCfeExpression

node

)

override

{

node

expandedExpression

(

this

); }

void

Dispatch

(

WfVirtualCseExpression

node

)

override

{

node

((

WfVirtualCseExpression

IVisitor

this

); }

bool

Execute

(

Ptr

WfExpression

expression

) {

result

false

;

expression

(

this

);

return

result

; }

void

Visit

(

WfReferenceExpression

node

)

override

{

auto

scope

manager

nodeScopes

[

node

Obj

();

List

ResolveExpressionResult

testResults

;

manager

ResolveName

(

scope

node

name

value

testResults

);

(

testResults

Count

() ==

) {

result

true

; } }

void

Visit

(

WfOrderedLambdaExpression

node

)

override

{

auto

scope

manager

nodeScopes

[

node

Obj

();

result

scope

symbols

Count

() >

; }

void

Visit

(

WfLiteralExpression

node

)

override

{

(

node

value

WfLiteralValue

Null

) {

result

true

; } }

void

Visit

(

WfBinaryExpression

node

)

override

{

(

node

WfBinaryOperator

FlagOr

) {

result

Execute

(

node

first

) &&

Execute

(

node

second

); } }

void

Visit

(

WfIfExpression

node

)

override

{

result

Execute

(

node

trueBranch

) &&

Execute

(

node

falseBranch

); }

void

Visit

(

WfConstructorExpression

node

)

override

{

(

node

arguments

Count

() ==

) {

result

true

; }

else

{

vint

possibleFieldCount

;

bool

unresolvableField

false

;

auto

scope

manager

nodeScopes

[

node

Obj

();

FOREACH(Ptr<WfConstructorArgument>, argument, node->arguments)

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

Ptr

WfConstructorArgument

>>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

node

arguments

);

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

Ptr

WfConstructorArgument

argument

;

__foreach_iterator__

(

argument

);)

{

(

argument

value

) {

(

auto

refExpr

argument

key

Cast

WfReferenceExpression

>()) {

possibleFieldCount

++;

List

ResolveExpressionResult

testResults

;

manager

ResolveName

(

scope

refExpr

name

value

testResults

);

(

testResults

Count

() ==

) {

unresolvableField

true

; } } } }

result

unresolvableField

possibleFieldCount

node

arguments

Count

(); } }

void

Visit

(

WfExpectedTypeCastExpression

node

)

override

{

result

true

; } };

bool

IsExpressionDependOnExpectedType

(

WfLexicalScopeManager

manager

Ptr

WfExpression

expression

) {

IsExpressionDependOnExpectedTypeVisitor

visitor

(

manager

);

expression

visitor

);

return

visitor

result

; }

/*********************************************************************** GetExpressionName(Expression) ***********************************************************************/

class

GetExpressionNameVisitor

public

empty_visitor

ExpressionVisitor

public

empty_visitor

VirtualCseExpressionVisitor

{

public

WString

result

;

void

Dispatch

(

WfVirtualCfeExpression

node

)

override

{

node

expandedExpression

(

this

); }

void

Dispatch

(

WfVirtualCseExpression

node

)

override

{

node

((

WfVirtualCseExpression

IVisitor

this

); }

void

Visit

(

WfTopQualifiedExpression

node

)

override

{

result

node

name

value

; }

void

Visit

(

WfReferenceExpression

node

)

override

{

result

node

name

value

; }

void

Visit

(

WfOrderedNameExpression

node

)

override

{

result

node

name

value

; }

void

Visit

(

WfMemberExpression

node

)

override

{

result

node

name

value

; }

void

Visit

(

WfChildExpression

node

)

override

{

result

node

name

value

; } };

WString

GetExpressionName

(

Ptr

WfExpression

expression

) {

GetExpressionNameVisitor

visitor

;

expression

visitor

);

return

visitor

result

; } } } }