text: /* Copyright 2007-2015 QReal Research Group
   *
   * Licensed under the Apache License, Version 2.0 (the "License");
   * you may not use this file except in compliance with the License.
   * You may obtain a copy of the License at
   *
   *     http://www.apache.org/licenses/LICENSE-2.0
   *
   * Unless required by applicable law or agreed to in writing, software
   * distributed under the License is distributed on an "AS IS" BASIS,
   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
   * See the License for the specific language governing permissions and
   * limitations under the License. */
  
  #pragma once
  
  #include "conditionalNode.h"
  
  #include "generatorBase/robotsGeneratorDeclSpec.h"
  
  namespace generatorBase {
  namespace semantics {
  
  /// A semantic node for the block with if semantics
  class ROBOTS_GENERATOR_EXPORT IfNode : public ConditionalNode
  {
  public:
  	explicit IfNode(const qReal::Id &idBinded, QObject *parent = nullptr);
  	explicit IfNode(QObject *parent = nullptr);
  
  	ZoneNode *thenZone();
  	ZoneNode *elseZone();
  
  	/// Will be called when both branches link to same block, making thus if statement unnesesary.
  	void transformToSimple();
  
  	void setSyntheticCondition(const QString &s, const QMap<qReal::Id, bool> &l);
  
  protected:
  	QLinkedList<SemanticNode *> children() const override;
  	QString toStringImpl(GeneratorCustomizer &customizer, int indent, const QString &indentString) const override;
  
  private:
  	void init();
  
  	ZoneNode *mThenZone;  // Takes ownership
  	ZoneNode *mElseZone;  // Takes ownership
  	bool mIsSimple {false};
  	bool mIsSynthetic;
  	QString mSyntheticCondition;
  	QMap<qReal::Id, bool> mIdWasUsedBefore;
  };
  
  }
  }
  