#include "WfAnalyzer.h"
namespace
{
namespace
{
namespace
{
using
namespace
collections
;
using
namespace
parsing
;
using
namespace
reflection
::
description
;
class
ValidateStructureStatementVisitor
:
public
,
public
::
,
public
::
,
public
::
,
public
::
{
public
:
*
;
*
;
<
>
;
ValidateStructureStatementVisitor
(
*
,
*
)
:manager(
)
, context(
)
{
}
void
(
*
)
override
{
if
(!
->
)
{
->
.
(
::
(
));
}
}
void
(
*
)
override
{
if
(!
->
)
{
->
.
(
::
(
));
}
}
void
(
*
)
override
{
if
(
->
)
{
ValidateExpressionStructure
(
,
,
->
);
}
}
void
(
*
)
override
{
ValidateExpressionStructure
(
,
,
->
);
}
void
(
WfRaiseExceptionStatement
*
)
override
{
if
(
->
)
{
ValidateExpressionStructure
(
,
,
->
);
}
else
if
(!
->
)
{
->
.
(
::
(
));
}
}
void
(
*
)
override
{
if
(
->
)
{
(
,
->
);
}
ValidateExpressionStructure
(
,
,
->
);
ValidateStatementStructure
(
,
,
->
);
if
(
->
)
{
ValidateStatementStructure
(
,
,
->
);
}
}
void
(
*
)
override
{
auto
=
->
;
->
=
;
ValidateExpressionStructure
(
,
,
->
);
ValidateStatementStructure
(
,
,
->
);
->
=
oldLoop
;
}
void
(
*
)
override
{
ValidateStatementStructure
(
,
,
->
);
if
(
->
)
{
auto
=
->
;
->
=
->
.
();
ValidateStatementStructure
(
,
,
->
);
->
=
oldCatch
;
}
if
(
->
)
{
ValidateStatementStructure
(
,
,
->
);
}
if
(!
->
&& !
->
)
{
->
.
(
::
(
));
}
}
void
(
*
)
override
{
for
(
=
0
;
i
<
->
.
();
i
++)
{
ValidateStatementStructure
(
,
,
->
i
]);
}
}
void
(
*
)
override
{
}
void
(
*
)
override
{
ValidateExpressionStructure
(
,
,
->
);
}
void
(
*
)
override
{
ValidateDeclarationStructure
(
,
->
);
}
void
(
*
)
override
{
->
((
::
*)
this
);
}
void
(
*
)
override
{
ValidateExpressionStructure
(
,
,
->
);
FOREACH(Ptr<WfSwitchCase>, switchCase, node->caseBranches)
if
(
bool
=
true
)
for
(
const
::
vl
::
collections
::
<
<
>>&
= ::
vl
::
collections
::
(
->
);
__scope_variable_flag__
;
__scope_variable_flag__
=
false
)
for
(
<
>
;
__foreach_iterator__
.
(
switchCase
);)
{
ValidateExpressionStructure
(
,
,
switchCase
);
ValidateStatementStructure
(
,
,
switchCase
);
}
if
(
->
)
{
ValidateStatementStructure
(
,
,
->
);
}
}
void
(
*
)
override
{
auto
=
->
;
->
=
;
ValidateExpressionStructure
(
,
,
->
);
ValidateStatementStructure
(
,
,
->
);
->
=
oldLoop
;
}
void
(
*
)
override
{
auto
=
->
currentCoProviderStatement
;
->
currentCoProviderStatement
=
;
ValidateStatementStructure
(
,
,
->
);
->
currentCoProviderStatement
=
oldProvider
;
}
void
(
*
)
override
{
->
((
::
*)
this
);
}
void
(
*
)
override
{
if
(!
->
currentNewCoroutineExpression
||
->
)
{
->
.
(
::
(
));
}
if
(
->
)
{
auto
=
->
;
->
=
;
ValidateStatementStructure
(
,
,
->
);
->
=
oldCpPause
;
}
}
void
(
*
)
override
{
if
(!
->
currentCoProviderStatement
)
{
->
.
(
::
(
));
}
}
void
(
*
)
override
{
->
((
::
*)
this
);
}
void
(
*
)
override
{
if
(!
->
)
{
->
.
(
::
WrongStateSwitchStatement
(
));
}
FOREACH(Ptr<WfStateSwitchCase>, switchCase, node->caseBranches)
if
(
bool
=
true
)
for
(
const
::
vl
::
collections
::
<
<
>>&
= ::
vl
::
collections
::
(
->
);
__scope_variable_flag__
;
__scope_variable_flag__
=
false
)
for
(
<
>
;
__foreach_iterator__
.
(
switchCase
);)
{
ValidateStatementStructure
(
,
,
switchCase
);
}
}
void
(
*
)
override
{
if
(!
->
)
{
->
.
(
::
WrongStateInvokeStatement
(
));
}
FOREACH(Ptr<WfExpression>, argument, node->arguments)
if
(
bool
=
true
)
for
(
const
::
vl
::
collections
::
<
<
>>&
= ::
vl
::
collections
::
(
->
);
__scope_variable_flag__
;
__scope_variable_flag__
=
false
)
for
(
<
>
;
__foreach_iterator__
.
(
argument
);)
{
ValidateExpressionStructure
(
,
,
argument
);
}
}
static
void
(
<
>&
,
*
,
*
)
{
ValidateStructureStatementVisitor
(
,
);
(&
visitor
);
if
(
visitor
.
)
{
visitor
.
;
}
}
};
void
ValidateStatementStructure
(
*
,
*
,
<
>&
)
{
ValidateStructureStatementVisitor
::
(
,
,
);
}
}
}
}