Package de.monticore.statements.mccommonstatements.cocos

Class AssertIsValid

java.lang.Object

de.monticore.statements.mccommonstatements.cocos.AssertIsValid

All Implemented Interfaces:

MCAssertStatementsASTAssertStatementCoCo, MCAssertStatementsVisitor2, de.monticore.visitor.IVisitor

public class AssertIsValid
extends Object
implements MCAssertStatementsASTAssertStatementCoCo

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ERROR_CODE
static final String	ERROR_CODE_2
static final String	ERROR_MSG_FORMAT
static final String	ERROR_MSG_FORMAT_2

Constructor Summary

Constructors

Constructor	Description
AssertIsValid()

Method Summary

Modifier and Type	Method	Description
void	check(ASTAssertStatement node)

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.monticore.visitor.IVisitor

endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit

Methods inherited from interface de.monticore.statements.mcassertstatements._cocos.MCAssertStatementsASTAssertStatementCoCo

visit

Methods inherited from interface de.monticore.statements.mcassertstatements._visitor.MCAssertStatementsVisitor2

endVisit, endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit

Field Details

ERROR_CODE

public static final String ERROR_CODE

See Also:

• Constant Field Values

ERROR_MSG_FORMAT

public static final String ERROR_MSG_FORMAT

See Also:

• Constant Field Values

ERROR_CODE_2

public static final String ERROR_CODE_2

See Also:

• Constant Field Values

ERROR_MSG_FORMAT_2

public static final String ERROR_MSG_FORMAT_2

See Also:

• Constant Field Values

Constructor Details

AssertIsValid

public AssertIsValid()

Method Details

check

public void check(ASTAssertStatement node)

Specified by:

check in interface MCAssertStatementsASTAssertStatementCoCo