mirror of
https://github.com/github/semantic.git
synced 2024-12-23 06:41:45 +03:00
335 lines
7.8 KiB
Haskell
335 lines
7.8 KiB
Haskell
{-# LANGUAGE MultiParamTypeClasses #-}
|
|
{-# OPTIONS_GHC -funbox-strict-fields #-}
|
|
module Category where
|
|
|
|
import Prologue
|
|
import Test.QuickCheck hiding (Args)
|
|
import Data.Text (pack)
|
|
import Data.Text.Arbitrary()
|
|
|
|
-- | A standardized category of AST node. Used to determine the semantics for
|
|
-- | semantic diffing and define comparability of nodes.
|
|
data Category
|
|
-- | The top-level branch node.
|
|
= Program
|
|
-- | A node indicating syntax errors.
|
|
| Error
|
|
-- | A boolean expression.
|
|
| Boolean
|
|
-- | A bitwise operator.
|
|
| BitwiseOperator
|
|
-- | A boolean operator (e.g. ||, &&).
|
|
| BooleanOperator
|
|
-- | A literal key-value data structure.
|
|
| DictionaryLiteral
|
|
-- | A pair, e.g. of a key & value
|
|
| Pair
|
|
-- | A call to a function.
|
|
| FunctionCall
|
|
-- | A function declaration.
|
|
| Function
|
|
-- | An identifier.
|
|
| Identifier
|
|
-- | A function's parameters.
|
|
| Params
|
|
-- | A function's expression statements.
|
|
| ExpressionStatements
|
|
-- | A method call on an object.
|
|
| MethodCall
|
|
-- | A method's arguments.
|
|
| Args
|
|
-- | A string literal.
|
|
| StringLiteral
|
|
-- | An integer literal.
|
|
| IntegerLiteral
|
|
-- | A regex literal.
|
|
| Regex
|
|
-- | A return statement.
|
|
| Return
|
|
-- | A symbol literal.
|
|
| SymbolLiteral
|
|
-- | A template string literal.
|
|
| TemplateString
|
|
-- | An array literal.
|
|
| ArrayLiteral
|
|
-- | An assignment expression.
|
|
| Assignment
|
|
-- | A math assignment expression.
|
|
| MathAssignment
|
|
-- | A member access expression.
|
|
| MemberAccess
|
|
-- | A subscript access expression.
|
|
| SubscriptAccess
|
|
-- | A variable assignment within a variable declaration.
|
|
| VarAssignment
|
|
-- | A variable declaration.
|
|
| VarDecl
|
|
-- | A switch expression.
|
|
| Switch
|
|
-- | A if/else expression.
|
|
| If
|
|
-- | A for expression.
|
|
| For
|
|
-- | A while expression.
|
|
| While
|
|
-- | A do/while expression.
|
|
| DoWhile
|
|
-- | A ternary expression.
|
|
| Ternary
|
|
-- | A case expression.
|
|
| Case
|
|
-- | An expression with an operator.
|
|
| Operator
|
|
-- | An comma operator expression
|
|
| CommaOperator
|
|
-- | An object/dictionary/hash literal.
|
|
| Object
|
|
-- | A throw statement.
|
|
| Throw
|
|
-- | A constructor statement, e.g. new Foo;
|
|
| Constructor
|
|
-- | A try statement.
|
|
| Try
|
|
-- | A catch statement.
|
|
| Catch
|
|
-- | A finally statement.
|
|
| Finally
|
|
-- | A class declaration.
|
|
| Class
|
|
-- | A class method declaration.
|
|
| Method
|
|
-- | A comment.
|
|
| Comment
|
|
-- | A non-standard category, which can be used for comparability.
|
|
| Other Text
|
|
-- | A relational operator (e.g. < or >=)
|
|
| RelationalOperator
|
|
-- | An empty statement. (e.g. ; in JavaScript)
|
|
| Empty
|
|
-- | A number literal.
|
|
| NumberLiteral
|
|
-- | A mathematical operator (e.g. +, -, *, /).
|
|
| MathOperator
|
|
-- | A module
|
|
| Module
|
|
-- | An import
|
|
| Import
|
|
-- | An export
|
|
| Export
|
|
-- | An anonymous function.
|
|
| AnonymousFunction
|
|
-- | An interpolation (e.g. "#{bar}" in Ruby)
|
|
| Interpolation
|
|
-- | A subshell command (e.g. `ls -la` in Ruby)
|
|
| Subshell
|
|
-- | Operator assignment, e.g. a ||= b, a += 1 in Ruby.
|
|
| OperatorAssignment
|
|
-- | A yield statement.
|
|
| Yield
|
|
-- | An until expression.
|
|
| Until
|
|
-- | A unless/else expression.
|
|
| Unless
|
|
| Begin
|
|
| Else
|
|
| Elsif
|
|
| Ensure
|
|
| Rescue
|
|
| RescueModifier
|
|
| RescuedException
|
|
| RescueArgs
|
|
| When
|
|
| Negate
|
|
-- | A select expression in Go.
|
|
| Select
|
|
| Defer
|
|
| Go
|
|
| Slice
|
|
| TypeAssertion
|
|
| TypeConversion
|
|
-- | An argument pair, e.g. foo(run: true) or foo(:run => true) in Ruby.
|
|
| ArgumentPair
|
|
-- | A keyword parameter, e.g. def foo(name:) or def foo(name:false) in Ruby.
|
|
| KeywordParameter
|
|
-- | An optional/default parameter, e.g. def foo(name = nil) in Ruby.
|
|
| OptionalParameter
|
|
-- | A splat parameter, e.g. def foo(*array) in Ruby.
|
|
| SplatParameter
|
|
-- | A hash splat parameter, e.g. def foo(**option) in Ruby.
|
|
| HashSplatParameter
|
|
-- | A block parameter, e.g. def foo(&block) in Ruby.
|
|
| BlockParameter
|
|
-- | A float literal.
|
|
| FloatLiteral
|
|
| ArrayTy
|
|
| DictionaryTy
|
|
| StructTy
|
|
| Struct
|
|
-- | A break statement, e.g. break; in JavaScript.
|
|
| Break
|
|
-- | A continue statement, e.g. continue; in JavaScript.
|
|
| Continue
|
|
-- | A binary statement, e.g. a | b in Ruby.
|
|
| Binary
|
|
-- | A unary statement, e.g. !a in Ruby.
|
|
| Unary
|
|
-- | A constant, e.g `Foo::Bar` in Ruby.
|
|
| Constant
|
|
-- | A superclass, e.g `< Foo` in Ruby.
|
|
| Superclass
|
|
-- | A singleton class declaration, e.g. `class << self;end` in Ruby
|
|
| SingletonClass
|
|
-- | A range expression, e.g. `1..10` in Ruby.
|
|
| RangeExpression
|
|
-- | A scope resolution operator, e.g. `Foo::bar` in Ruby.
|
|
| ScopeOperator
|
|
-- | A BEGIN {} block of statements.
|
|
| BeginBlock
|
|
-- | An END {} block of statements.
|
|
| EndBlock
|
|
| ParameterDecl
|
|
-- | A default case in a switch statement.
|
|
| Default
|
|
-- | A type declaration.
|
|
| TypeDecl
|
|
| PointerTy
|
|
-- | A field declaration.
|
|
| FieldDecl
|
|
-- | A slice type, e.g. []string{"hello"} in Go.
|
|
| SliceTy
|
|
-- | An element of a slice literal.
|
|
| Element
|
|
-- | A literal value.
|
|
| Literal
|
|
-- | A channel type in Go.
|
|
| ChannelTy
|
|
-- | A send statement in Go.
|
|
| Send
|
|
-- | An Index expression, e.g. x[1] in Go.
|
|
| IndexExpression
|
|
-- | A function type.
|
|
| FunctionTy
|
|
-- | An increment statement, e.g. i++ in Go.
|
|
| IncrementStatement
|
|
-- | A decrement statement, e.g. i-- in Go.
|
|
| DecrementStatement
|
|
-- | A qualified identifier, e.g. Module.function in Go.
|
|
| QualifiedIdentifier
|
|
| FieldDeclarations
|
|
-- | A Go rune literal.
|
|
| RuneLiteral
|
|
deriving (Eq, Generic, Ord, Show)
|
|
|
|
-- Instances
|
|
|
|
instance Hashable Category
|
|
|
|
instance (StringConv Category Text) where
|
|
strConv _ = pack . show
|
|
|
|
instance Arbitrary Category where
|
|
arbitrary = oneof [
|
|
pure Program
|
|
, pure Error
|
|
, pure Boolean
|
|
, pure BooleanOperator
|
|
, pure MathOperator
|
|
, pure DictionaryLiteral
|
|
, pure Pair
|
|
, pure FunctionCall
|
|
, pure Function
|
|
, pure Identifier
|
|
, pure Params
|
|
, pure ExpressionStatements
|
|
, pure MethodCall
|
|
, pure Args
|
|
, pure StringLiteral
|
|
, pure IntegerLiteral
|
|
, pure NumberLiteral
|
|
, pure FloatLiteral
|
|
, pure Regex
|
|
, pure Return
|
|
, pure SymbolLiteral
|
|
, pure TemplateString
|
|
, pure ArrayLiteral
|
|
, pure Assignment
|
|
, pure MathAssignment
|
|
, pure MemberAccess
|
|
, pure SubscriptAccess
|
|
, pure VarAssignment
|
|
, pure VarDecl
|
|
, pure For
|
|
, pure DoWhile
|
|
, pure While
|
|
, pure Switch
|
|
, pure Ternary
|
|
, pure Case
|
|
, pure Operator
|
|
, pure Object
|
|
, pure Throw
|
|
, pure Constructor
|
|
, pure Try
|
|
, pure Catch
|
|
, pure Finally
|
|
, pure Class
|
|
, pure Method
|
|
, pure Module
|
|
, pure Import
|
|
, pure Export
|
|
, pure Interpolation
|
|
, pure Subshell
|
|
, pure OperatorAssignment
|
|
, pure Yield
|
|
, pure Until
|
|
, pure Unless
|
|
, pure Begin
|
|
, pure Else
|
|
, pure Elsif
|
|
, pure Ensure
|
|
, pure Rescue
|
|
, pure RescueModifier
|
|
, pure RescuedException
|
|
, pure RescueArgs
|
|
, pure When
|
|
, pure Negate
|
|
, pure Select
|
|
, pure Defer
|
|
, pure Go
|
|
, pure Slice
|
|
, pure TypeAssertion
|
|
, pure TypeConversion
|
|
, pure ArgumentPair
|
|
, pure KeywordParameter
|
|
, pure OptionalParameter
|
|
, pure SplatParameter
|
|
, pure HashSplatParameter
|
|
, pure BlockParameter
|
|
, pure ArrayTy
|
|
, pure DictionaryTy
|
|
, pure Break
|
|
, pure Continue
|
|
, pure Binary
|
|
, pure Unary
|
|
, pure Constant
|
|
, pure Superclass
|
|
, pure SingletonClass
|
|
, pure ParameterDecl
|
|
, pure Default
|
|
, pure TypeDecl
|
|
, pure PointerTy
|
|
, pure FieldDecl
|
|
, pure SliceTy
|
|
, pure Element
|
|
, pure IndexExpression
|
|
, pure FunctionTy
|
|
, pure IncrementStatement
|
|
, pure DecrementStatement
|
|
, pure QualifiedIdentifier
|
|
, pure FieldDeclarations
|
|
, pure RuneLiteral
|
|
, Other <$> arbitrary
|
|
]
|
|
|
|
shrink (Other s) = Other <$> shrink s
|
|
shrink _ = []
|