ftsrg / gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
http://gamma.inf.mit.bme.hu
30 stars 25 forks source link

TimeoutReferenceExpression #171

Closed Rorck closed 8 months ago

Rorck commented 8 months ago

Added TimeoutReferenceExpression, now timeouts can be referenced in expressions. TimeSpecification is now a LiteralExpression, so expressions can contain TimeSpecifications. Additional refactoring.