WfAnalyzer_ValidateStructure.cpp

#include "WfAnalyzer.h"

namespace

{

namespace

workflow

{

namespace

analyzer

{

using

namespace

collections

;

using

namespace

parsing

;

using

namespace

reflection

description

;

/*********************************************************************** ValidateStructureContext ***********************************************************************/

ValidateStructureContext

() :currentBindExpression(

) , currentObserveExpression(

) , currentLoopStatement(

) , currentCatchStatement(

) { }

/*********************************************************************** ValidateStructure ***********************************************************************/

void

ValidateModuleStructure

(

WfLexicalScopeManager

manager

Ptr

WfModule

module

) {

FOREACH(Ptr<WfModuleUsingPath>, path, module->paths)

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

Ptr

WfModuleUsingPath

>>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

module

paths

);

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

Ptr

WfModuleUsingPath

path

;

__foreach_iterator__

(

path

);)

{

FOREACH_INDEXER(Ptr<WfModuleUsingItem>, item, index, path->items)

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

Ptr

WfModuleUsingItem

>>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

path

items

);

__scope_variable_flag__

;

__scope_variable_flag__

false

)

(

bool

__scope_variable_flag__

true

)

for

(

vint

index

;

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

Ptr

WfModuleUsingItem

item

;

__foreach_iterator__

(

item

);

index

++)

{

vint

counter

;

FOREACH(Ptr<WfModuleUsingFragment>, fragment, item->fragments)

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

Ptr

WfModuleUsingFragment

>>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

item

fragments

);

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

Ptr

WfModuleUsingFragment

fragment

;

__foreach_iterator__

(

fragment

);)

{

(

fragment

Cast

WfModuleUsingWildCardFragment

>()) {

(

index

path

items

Count

() -

) {

counter

++; }

else

{

goto

USING_PATH_INCORRECT; } } }

(

index

path

items

Count

() -

counter

) {

goto

USING_PATH_INCORRECT; } }

continue

; USING_PATH_INCORRECT:

manager

errors

Add

(

WfErrors

WrongUsingPathWildCard

(

path

Obj

())); }

for

(

vint

;

module

declarations

Count

();

++) {

ValidateDeclarationStructure

(

manager

module

declarations

[

]); } } } } }