WfCpp_WriteLambda.cpp

#include "WfCpp.h"

namespace

{

namespace

workflow

{

namespace

cppcodegen

{

using

namespace

collections

;

using

namespace

parsing

;

using

namespace

analyzer

;

using

namespace

reflection

;

using

namespace

reflection

description

;

/*********************************************************************** WfCppConfig::WriteCpp ***********************************************************************/

void

WfCppConfig

WriteHeader_ClosurePreDecl

(

stream

StreamWriter

writer

Ptr

WfExpression

closure

) {

auto

info

closureInfos

[

closure

Obj

()];

writer

WriteString

(

L"\t"

);

(

closure

Cast

WfNewInterfaceExpression

>()) {

writer

WriteString

(

L"class "

); }

else

{

writer

WriteString

(

L"struct "

); }

writer

WriteString

(

info

lambdaClassName

);

writer

WriteLine

(

L";"

); }

void

WfCppConfig

WriteHeader_LambdaExprDecl

(

stream

StreamWriter

writer

Ptr

WfExpression

lambda

) {

(

auto

ordered

lambda

Cast

WfOrderedLambdaExpression

>()) {

auto

name

lambdaExprs

[

lambda

Obj

()];

writer

WriteLine

(

L"\tstruct "

name

);

writer

WriteLine

(

L"\t{"

);

(

WriteCpp_ClosureMembers

(

writer

lambda

)) {

writer

WriteLine

(

L""

); }

writer

WriteString

(

L"\t\t"

);

WriteCpp_ClosureCtor

(

writer

lambda

name

);

writer

WriteLine

(

L";"

);

writer

WriteLine

(

L""

);

writer

WriteString

(

L"\t\t"

);

WriteFunctionHeader

(

writer

ordered

L"operator()"

true

);

writer

WriteLine

(

L" const;"

);

writer

WriteLine

(

L"\t};"

); }

else

(

auto

funcExpr

lambda

Cast

WfFunctionExpression

>()) {

auto

name

lambdaExprs

[

lambda

Obj

()];

writer

WriteLine

(

L"\tstruct "

name

);

writer

WriteLine

(

L"\t{"

);

(

WriteCpp_ClosureMembers

(

writer

lambda

)) {

writer

WriteLine

(

L""

); }

writer

WriteString

(

L"\t\t"

);

WriteCpp_ClosureCtor

(

writer

lambda

name

);

writer

WriteLine

(

L";"

);

writer

WriteLine

(

L""

);

writer

WriteString

(

L"\t\t"

);

WriteFunctionHeader

(

writer

funcExpr

L"operator()"

true

);

writer

WriteLine

(

L" const;"

);

writer

WriteLine

(

L"\t};"

); } }

void

WfCppConfig

WriteHeader_ClassExprDecl

(

stream

StreamWriter

writer

Ptr

WfNewInterfaceExpression

lambda

) {

auto

result

manager

expressionResolvings

[

lambda

Obj

()];

auto

result

constructorInfo

GetOwnerTypeDescriptor

();

auto

name

classExprs

[

lambda

Obj

()];

writer

WriteLine

(

L"\tclass "

name

L" : public ::vl::Object, public virtual "

ConvertType

(

));

writer

WriteLine

(

L"\t{"

);

writer

WriteLine

(

L"\tpublic:"

);

(

WriteCpp_ClosureMembers

(

writer

lambda

)) {

writer

WriteLine

(

L""

); }

writer

WriteString

(

L"\t\t"

);

WriteCpp_ClosureCtor

(

writer

lambda

name

);

writer

WriteLine

(

L";"

);

writer

WriteLine

(

L""

);

FOREACH(Ptr<WfDeclaration>, memberDecl, lambda->declarations)

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

Ptr

WfDeclaration

>>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

lambda

declarations

);

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

Ptr

WfDeclaration

memberDecl

;

__foreach_iterator__

(

memberDecl

);)

{

GenerateClassMemberDecl

(

this

writer

name

memberDecl

L"\t\t"

true

); }

writer

WriteLine

(

L"\t};"

); }

bool

WfCppConfig

WriteCpp_ClosureMembers

(

stream

StreamWriter

writer

Ptr

WfExpression

closure

) {

auto

info

closureInfos

[

closure

Obj

()];

FOREACH(Ptr<WfLexicalSymbol>, symbol, info->symbols.Values())

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

Ptr

WfLexicalSymbol

>>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

info

symbols

Values

());

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

Ptr

WfLexicalSymbol

symbol

;

__foreach_iterator__

(

symbol

);)

{

writer

WriteString

(

L"\t\t"

);

writer

WriteString

(

ConvertType

(

symbol

typeInfo

Obj

()));

writer

WriteString

(

L" "

);

writer

WriteString

(

ConvertName

(

symbol

name

));

writer

WriteLine

(

L";"

); }

FOREACH_INDEXER(ITypeDescriptor*, thisType, index, info->thisTypes)

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

ITypeDescriptor

*>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

info

thisTypes

);

__scope_variable_flag__

;

__scope_variable_flag__

false

)

(

bool

__scope_variable_flag__

true

)

for

(

vint

index

;

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

ITypeDescriptor

thisType

;

__foreach_iterator__

(

thisType

);

index

++)

{

auto

typeInfo

MakePtr

RawPtrTypeInfo

MakePtr

TypeDescriptorTypeInfo

thisType

TypeInfoHint

Normal

));

writer

WriteString

(

L"\t\t"

);

writer

WriteString

(

ConvertType

(

typeInfo

Obj

()));

writer

WriteString

(

L" "

);

writer

WriteString

(

L"__vwsnthis_"

itow

(

index

));

writer

WriteLine

(

L";"

); }

return

info

symbols

Count

() +

info

thisTypes

Count

() >

; }

void

WfCppConfig

WriteCpp_ClosureCtor

(

stream

StreamWriter

writer

Ptr

WfExpression

closure

const

WString

name

) {

auto

info

closureInfos

[

closure

Obj

()];

writer

WriteString

(

name

);

writer

WriteString

(

L"("

);

vint

argumentIndex

;

FOREACH_INDEXER(Ptr<WfLexicalSymbol>, symbol, index, From(info->symbols.Values()).Concat(info->ctorArgumentSymbols.Values()))

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

Ptr

WfLexicalSymbol

>>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

From

(

info

symbols

Values

()).

Concat

(

info

ctorArgumentSymbols

Values

()));

__scope_variable_flag__

;

__scope_variable_flag__

false

)

(

bool

__scope_variable_flag__

true

)

for

(

vint

index

;

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

Ptr

WfLexicalSymbol

symbol

;

__foreach_iterator__

(

symbol

);

index

++)

{

(

argumentIndex

++ >

) {

writer

WriteString

(

L", "

); }

writer

WriteString

(

ConvertType

(

symbol

typeInfo

Obj

()));

writer

WriteString

(

L" __vwsnctor_"

);

writer

WriteString

(

ConvertName

(

symbol

name

)); }

FOREACH_INDEXER(ITypeDescriptor*, thisType, index, info->thisTypes)

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

ITypeDescriptor

*>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

info

thisTypes

);

__scope_variable_flag__

;

__scope_variable_flag__

false

)

(

bool

__scope_variable_flag__

true

)

for

(

vint

index

;

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

ITypeDescriptor

thisType

;

__foreach_iterator__

(

thisType

);

index

++)

{

auto

typeInfo

MakePtr

RawPtrTypeInfo

MakePtr

TypeDescriptorTypeInfo

thisType

TypeInfoHint

Normal

));

(

argumentIndex

++ >

) {

writer

WriteString

(

L", "

); }

writer

WriteString

(

ConvertType

(

typeInfo

Obj

()));

writer

WriteString

(

L" __vwsnctorthis_"

itow

(

index

)); }

writer

WriteString

(

L")"

); }

void

WfCppConfig

WriteCpp_ClosureCtorInitList

(

stream

StreamWriter

writer

Ptr

WfExpression

closure

) {

auto

info

closureInfos

[

closure

Obj

()];

FOREACH_INDEXER(Ptr<WfLexicalSymbol>, symbol, index, info->symbols.Values())

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

Ptr

WfLexicalSymbol

>>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

info

symbols

Values

());

__scope_variable_flag__

;

__scope_variable_flag__

false

)

(

bool

__scope_variable_flag__

true

)

for

(

vint

index

;

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

Ptr

WfLexicalSymbol

symbol

;

__foreach_iterator__

(

symbol

);

index

++)

{

(

index

) {

writer

WriteString

(

L"\t\t, "

); }

else

{

writer

WriteString

(

L"\t\t:"

); }

writer

WriteString

(

ConvertName

(

symbol

name

));

writer

WriteString

(

L"(__vwsnctor_"

);

writer

WriteString

(

ConvertName

(

symbol

name

));

writer

WriteLine

(

L")"

); }

FOREACH_INDEXER(ITypeDescriptor*, thisType, index, info->thisTypes)

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

ITypeDescriptor

*>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

info

thisTypes

);

__scope_variable_flag__

;

__scope_variable_flag__

false

)

(

bool

__scope_variable_flag__

true

)

for

(

vint

index

;

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

ITypeDescriptor

thisType

;

__foreach_iterator__

(

thisType

);

index

++)

{

(

index

info

symbols

Count

() >

) {

writer

WriteString

(

L"\t\t, "

); }

else

{

writer

WriteString

(

L"\t\t:"

); }

writer

WriteString

(

L"__vwsnthis_"

itow

(

index

));

writer

WriteString

(

L"(::vl::__vwsn::This(__vwsnctorthis_"

itow

(

index

));

writer

WriteLine

(

L"))"

); } }

void

WfCppConfig

WriteCpp_LambdaExprImpl

(

stream

StreamWriter

writer

Ptr

WfExpression

lambda

) {

(

auto

ordered

lambda

Cast

WfOrderedLambdaExpression

>()) {

auto

name

lambdaExprs

[

lambda

Obj

()];

writer

WriteString

(

L"\t"

);

WriteCpp_ClosureCtor

(

writer

lambda

name

L"::"

name

);

writer

WriteLine

(

L""

);

WriteCpp_ClosureCtorInitList

(

writer

lambda

);

writer

WriteLine

(

L"\t{"

);

writer

WriteLine

(

L"\t}"

);

writer

WriteLine

(

L""

);

writer

WriteString

(

L"\t"

);

auto

returnType

WriteFunctionHeader

(

writer

ordered

name

L"::operator()"

true

);

writer

WriteLine

(

L" const"

);

writer

WriteLine

(

L"\t{"

);

WriteFunctionBody

(

writer

ordered

body

L"\t\t"

returnType

);

writer

WriteLine

(

L"\t}"

); }

else

(

auto

funcExpr

lambda

Cast

WfFunctionExpression

>()) {

auto

name

lambdaExprs

[

lambda

Obj

()];

writer

WriteString

(

L"\t"

);

WriteCpp_ClosureCtor

(

writer

lambda

name

L"::"

name

);

writer

WriteLine

(

L""

);

WriteCpp_ClosureCtorInitList

(

writer

lambda

);

writer

WriteLine

(

L"\t{"

);

writer

WriteLine

(

L"\t}"

);

writer

WriteLine

(

L""

);

writer

WriteString

(

L"\t"

);

auto

returnType

WriteFunctionHeader

(

writer

funcExpr

name

L"::operator()"

true

);

writer

WriteLine

(

L" const"

);

WriteFunctionBody

(

writer

funcExpr

function

statement

L"\t"

returnType

); } }

class

WriteCpp_ClassExprImpl_InitFieldVisitor

public

empty_visitor

DeclarationVisitor

{

public

WfCppConfig

config

;

stream

StreamWriter

writer

;

WriteCpp_ClassExprImpl_InitFieldVisitor

(

WfCppConfig

_config

stream

StreamWriter

_writer

) :config(

_config

) , writer(

_writer

) { }

void

Dispatch

(

WfVirtualCfeDeclaration

node

)

override

{

FOREACH(Ptr<WfDeclaration>, decl, node->expandedDeclarations)

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

Ptr

WfDeclaration

>>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

node

expandedDeclarations

);

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

Ptr

WfDeclaration

decl

;

__foreach_iterator__

(

decl

);)

{

decl

(

this

); } }

void

Dispatch

(

WfVirtualCseDeclaration

node

)

override

{

FOREACH(Ptr<WfDeclaration>, decl, node->expandedDeclarations)

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

Ptr

WfDeclaration

>>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

node

expandedDeclarations

);

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

Ptr

WfDeclaration

decl

;

__foreach_iterator__

(

decl

);)

{

decl

(

this

); } }

void

Visit

(

WfVariableDeclaration

node

)

override

{

(

node

expression

) {

auto

scope

config

manager

nodeScopes

[

node

Obj

();

auto

symbol

scope

symbols

[

node

name

value

]

[

];

auto

typeInfo

symbol

typeInfo

;

writer

WriteString

(

L"\t\tthis->"

);

writer

WriteString

(

config

ConvertName

(

node

name

value

));

writer

WriteString

(

L" = "

);

GenerateExpression

(

config

writer

node

expression

typeInfo

Obj

());

writer

WriteLine

(

L";"

); } } };

void

WfCppConfig

WriteCpp_ClassExprImpl

(

stream

StreamWriter

writer

Ptr

WfNewInterfaceExpression

lambda

) {

auto

name

classExprs

[

lambda

Obj

()];

writer

WriteString

(

L"\t"

);

WriteCpp_ClosureCtor

(

writer

lambda

name

L"::"

name

);

writer

WriteLine

(

L""

);

WriteCpp_ClosureCtorInitList

(

writer

lambda

);

writer

WriteLine

(

L"\t{"

); {

WriteCpp_ClassExprImpl_InitFieldVisitor

visitor

(

this

writer

);

FOREACH(Ptr<WfDeclaration>, memberDecl, lambda->declarations)

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

Ptr

WfDeclaration

>>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

lambda

declarations

);

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

Ptr

WfDeclaration

memberDecl

;

__foreach_iterator__

(

memberDecl

);)

{

memberDecl

visitor

); } }

writer

WriteLine

(

L"\t}"

);

writer

WriteLine

(

L""

);

WString

classFullName

L"::"

assemblyNamespace

L"::"

name

;

FOREACH(Ptr<WfDeclaration>, memberDecl, lambda->declarations)

(

bool

__scope_variable_flag__

true

)

for

(

const

collections

ForEachIterator

Ptr

WfDeclaration

>>&

__foreach_iterator__

= ::

collections

CreateForEachIterator

(

lambda

declarations

);

__scope_variable_flag__

;

__scope_variable_flag__

false

)

for

(

Ptr

WfDeclaration

memberDecl

;

__foreach_iterator__

(

memberDecl

);)

{

(

GenerateClassMemberImpl

(

this

writer

nullptr

name

classFullName

memberDecl

L"\t"

)) {

writer

WriteLine

(

L""

); } } } } } }