io.resys.hdes.ast.api.nodes.ExpressionNode Maven / Gradle / Ivy

Go to download
package io.resys.hdes.ast.api.nodes;

/*-
 * #%L
 * hdes-ast
 * %%
 * Copyright (C) 2020 Copyright 2020 ReSys OÜ
 * %%
 * 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.
 * #L%
 */

import java.util.List;
import java.util.Optional;

import org.immutables.value.Value;

import io.resys.hdes.ast.api.nodes.InvocationNode.SimpleInvocation;
import io.resys.hdes.ast.api.nodes.InvocationNode.StaticMethodType;

public interface ExpressionNode extends HdesNode {
  enum AdditiveType { ADD, SUBSTRACT }
  enum MultiplicativeType { DIVIDE, MULTIPLY }
  enum EqualityType { 
    NOTEQUAL("!="), EQUAL("="), 
    LESS("<"), LESS_THEN("<="), 
    GREATER(">"), GREATER_THEN(">=");
    
    private final String value;
    
    EqualityType(String value) {
      this.value = value;
    }
    public String getValue() {
      return value;
    }
  }
  

  @Value.Immutable
  interface ExpressionBody extends ExpressionNode, BodyNode {
    String getSrc();
    HdesNode getValue();
  }

  /*
   * Unary operation
   */
  interface Unary extends ExpressionNode {
    HdesNode getValue();
  }
  @Value.Immutable
  interface NotUnary extends Unary { }

  @Value.Immutable
  interface NegateUnary extends Unary { }
  
  @Value.Immutable
  interface PositiveUnary extends Unary { }

  /*
   * Conditions and expressions
   */
  @Value.Immutable
  interface EqualityOperation extends ExpressionNode {
    EqualityType getType();
    HdesNode getLeft();
    HdesNode getRight();
  }

  // operation ? val1 : val2 
  @Value.Immutable
  interface ConditionalExpression extends ExpressionNode {
    EqualityOperation getOperation();
    HdesNode getLeft();
    HdesNode getRight();
  }

  @Value.Immutable
  interface BetweenExpression extends ExpressionNode {
    HdesNode getValue();
    HdesNode getLeft();
    HdesNode getRight();
  }
  
  @Value.Immutable
  interface InExpression extends ExpressionNode {
    HdesNode getLeft();
    List getRight();
  }

  @Value.Immutable
  interface AndExpression extends ExpressionNode {
    HdesNode getLeft();
    HdesNode getRight();
  }

  @Value.Immutable
  interface OrExpression extends ExpressionNode {
    HdesNode getLeft();
    HdesNode getRight();
  }

  @Value.Immutable
  interface AdditiveExpression extends ExpressionNode {
    AdditiveType getType();
    HdesNode getLeft();
    HdesNode getRight();
  }

  @Value.Immutable
  interface MultiplicativeExpression extends ExpressionNode {
    MultiplicativeType getType();
    HdesNode getLeft();
    HdesNode getRight();
  }
  
  interface CallMethodExpression extends ExpressionNode {}
  
  @Value.Immutable
  interface StaticMethodExpression extends CallMethodExpression {
    StaticMethodType getType();
    List getValues();
  }

  @Value.Immutable
  interface InstanceMethodExpression extends CallMethodExpression {
    SimpleInvocation getName();
    List getValues();
    Optional getNext();
  }
  
  @Value.Immutable
  interface LambdaExpression extends CallMethodExpression {    
    InvocationNode getType();
    SimpleInvocation getParam();
    HdesNode getBody();
    
    Boolean getFindFirst();
    List getSort();
    List getFilter();
    
    Optional getNext();
  }
  
  @Value.Immutable
  interface LambdaSortExpression extends ExpressionNode {
    SimpleInvocation getParam();
    HdesNode getBody();
  }
  
  @Value.Immutable
  interface LambdaFilterExpression extends ExpressionNode {
    SimpleInvocation getParam();
    HdesNode getBody();
  }
}