root/trunk/compiler/cppAst/ast/expressions/ExistsQuantifier.hpp
| 7 | krennw | /**
|
|
*
|
|||
* OOAS Compiler - C++ AST
|
|||
*
|
|||
* Copyright 2015, AIT Austrian Institute of Technology.
|
|||
* All rights reserved.
|
|||
*
|
|||
* SEE THE "LICENSE" FILE FOR THE TERMS UNDER WHICH THIS FILE IS PROVIDED.
|
|||
*
|
|||
* If you modify the file please update the list of contributors below to in-
|
|||
* clude your name. Please also stick to the coding convention of using TABs
|
|||
* to do the basic (block-level) indentation and spaces for anything after
|
|||
* that. (Enable the display of special chars and it should be pretty obvious
|
|||
* what this means.) Also, remove all trailing whitespace.
|
|||
*
|
|||
* Contributors:
|
|||
* Willibald Krenn (AIT)
|
|||
* Stephan Zimmerer (AIT)
|
|||
* Christoph Czurda (AIT)
|
|||
*
|
|||
*/
|
|||
| 2 | krennw | ||
#pragma once
|
|||
#include <ast/expressions/Quantifier.hpp>
|
|||
#include <ast/IAstVisitor.hpp>
|
|||
namespace Ast {
|
|||
class ExistsQuantifier final
|
|||
: public Quantifier
|
|||
{
|
|||
protected:
|
|||
ExistsQuantifier():
|
|||
Quantifier(ExpressionKind::exists)
|
|||
{};
|
|||
ExistsQuantifier(const ExistsQuantifier &toCopy):
|
|||
Quantifier(toCopy)
|
|||
{};
|
|||
static ExistsQuantifier* create(ExpressionKind) {return new ExistsQuantifier();}
|
|||
static ExistsQuantifier* createCopy(const ExistsQuantifier& toCopy) {return new ExistsQuantifier(toCopy);}
|
|||
public:
|
|||
friend class Ast;
|
|||
friend class Expression;
|
|||
void accept(IAstVisitor& visitor) override {visitor.visit(this);};
|
|||
};
|
|||
}
|