New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cannot specify the type associated to a state in the composite model #27

Closed
juli1 opened this Issue Jul 13, 2013 · 3 comments

Comments

Projects
None yet
2 participants
@juli1
Contributor

juli1 commented Jul 13, 2013

In a composite model, this is not possible to reference types of a state.
For example the following will not work:

composite error behavior
states
[ comp1.Failed.typeval1 and comp2.Failed.typeval2 ]-> Failed.typeval3;
end composite;

But the following will work:

composite error behavior
states
[ comp1.Failed and comp2.Failed]-> Failed;
end composite;

@reteprelief

This comment has been minimized.

Show comment
Hide comment
@reteprelief

reteprelief Jul 14, 2013

Contributor

The syntax is
[ comp1.Failed{typeval1} and comp2.Failed{typeval2} ]-> Failed.typeval3;

it is a type constraint in that it could be any of a number of types by specifying a type set

Contributor

reteprelief commented Jul 14, 2013

The syntax is
[ comp1.Failed{typeval1} and comp2.Failed{typeval2} ]-> Failed.typeval3;

it is a type constraint in that it could be any of a number of types by specifying a type set

@juli1

This comment has been minimized.

Show comment
Hide comment
@juli1

juli1 Jul 16, 2013

Contributor

The problem is that Failed.typeval3 does not work also :/

Contributor

juli1 commented Jul 16, 2013

The problem is that Failed.typeval3 does not work also :/

@juli1 juli1 reopened this Jul 16, 2013

@reteprelief

This comment has been minimized.

Show comment
Hide comment
@reteprelief

reteprelief Jul 16, 2013

Contributor

[ comp1.Failed{typeval1} and comp2.Failed{typeval2} ]-> Failed(typeval3);

The right hand side specifies a specific type instance,which is indicated by ()

Contributor

reteprelief commented Jul 16, 2013

[ comp1.Failed{typeval1} and comp2.Failed{typeval2} ]-> Failed(typeval3);

The right hand side specifies a specific type instance,which is indicated by ()

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment