io.shiftleft.queryprimitives.steps.visitormixins.ExpressionGeneralization.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of query-primitives Show documentation

query-primitives

There is a newer version: 0.9.322

package io.shiftleft.queryprimitives.steps.visitormixins

import io.shiftleft.codepropertygraph.generated.nodes
import io.shiftleft.codepropertygraph.generated.nodes.NodeVisitor

trait ExpressionGeneralization[T] extends NodeVisitor[T] {
  override def visit(node: nodes.Literal): T = {
    visit(node.asInstanceOf[nodes.Expression])
  }

  override def visit(node: nodes.Call): T = {
    visit(node.asInstanceOf[nodes.Expression])
  }

  override def visit(node: nodes.Identifier): T = {
    visit(node.asInstanceOf[nodes.Expression])
  }

  override def visit(node: nodes.Return): T = {
    visit(node.asInstanceOf[nodes.Expression])
  }

  override def visit(node: nodes.Block): T = {
    visit(node.asInstanceOf[nodes.Expression])
  }

  override def visit(node: nodes.MethodRef): T = {
    visit(node.asInstanceOf[nodes.Expression])
  }

  override def visit(node: nodes.Unknown): T = {
    visit(node.asInstanceOf[nodes.Expression])
  }
}