asteroids.model.Programs.Statements

Class assertStatement

java.lang.Object

asteroids.model.Programs.Statements.Statement

asteroids.model.Programs.Statements.assertStatement

public class assertStatement
extends Statement

Constructor Summary

Constructors

Constructor and Description
assertStatement(Expression<? extends java.lang.Boolean> condition, asteroids.part3.programs.SourceLocation location, java.lang.Boolean assertionCheckEnabled)

Method Summary

Modifier and Type	Method and Description
void	execute()
java.util.Optional	execute(java.lang.Object[] actualArgs, java.util.Set<Variable> localVariables)

Methods inherited from class asteroids.model.Programs.Statements.Statement

activeBreakStatement, failedToAdvance, getProgram, getSourceLocation, setFailedToAdvance, setProgram

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

assertStatement

public assertStatement(Expression<? extends java.lang.Boolean> condition,
                       asteroids.part3.programs.SourceLocation location,
                       java.lang.Boolean assertionCheckEnabled)

Method Detail

execute

public void execute()

Specified by:

execute in class Statement

execute

public java.util.Optional execute(java.lang.Object[] actualArgs,
                                  java.util.Set<Variable> localVariables)

Specified by:

execute in class Statement