C# (CSharp) Ssm.Stm Examples

Example #1

File: ModelTransformation.cs Project: cubeme/safety-sharp

			protected internal override void VisitReturnStatement(ReturnStatement statement)
			{
				_stm = Ssm.CreateReturn(GetTransformed(statement.Expression));
			}

Example #2

File: ModelTransformation.cs Project: cubeme/safety-sharp

			protected internal override void VisitAssignmentStatement(AssignmentStatement statement)
			{
				_stm = Ssm.Stm.NewAsgnStm(((Ssm.Expr.VarExpr)GetTransformed(statement.AssignmentTarget)).Item, GetTransformed(statement.Expression));
			}

Example #3

File: ModelTransformation.cs Project: cubeme/safety-sharp

			protected internal override void VisitChoiceStatement(ChoiceStatement statement)
			{
				_stm = Ssm.CreateChoice(statement.Guards.Select(GetTransformed), statement.Statements.Select(GetTransformed));
			}

Example #4

File: ModelTransformation.cs Project: cubeme/safety-sharp

			protected internal override void VisitExpressionStatement(ExpressionStatement statement)
			{
				_stm = Ssm.Stm.NewExprStm(GetTransformed(statement.Expression));
			}

Example #5

File: ModelTransformation.cs Project: cubeme/safety-sharp

			protected internal override void VisitBlockStatement(BlockStatement statement)
			{
				_stm = Ssm.CreateBlock(statement.Statements.Select(GetTransformed));
			}