protected OclExpression getConstraintExpression(List <object> constraints)
{
if (constraints.Count > 0)
{
CSTInvariantCS invariant = (CSTInvariantCS)constraints[0];
CSTExpressionInOclCS expression = invariant.getExpressionNodeCS();
return(((ExpressionInOclImpl)expression.getAst()).getBodyExpression());
}
else
{
return(null);
}
}
/* (non-Javadoc)
* @see br.ufrj.cos.lens.odyssey.tools.psw.parser.cst.CSTVisitor#visitInvariantCSEnd(br.ufrj.cos.lens.odyssey.tools.psw.parser.cst.context.CSTInvariantCS)
*/
public override void visitInvariantCSEnd(CSTInvariantCS invariantDeclaration)
{
}
/* (non-Javadoc)
* @see br.ufrj.cos.lens.odyssey.tools.psw.parser.cst.CSTVisitor#visitInvariantCSBegin(br.ufrj.cos.lens.odyssey.tools.psw.parser.cst.context.CSTInvariantCS)
*/
public void visitInvariantCSBegin(CSTInvariantCS invariantDeclaration) {
}
