Validate

java.lang.Object
- org.matheclipse.core.eval.exception.Validate

```
public final class Validate
extends java.lang.Object
```
Static methods to be called at the start of the built-in IFunctionEvaluator#evaluate() methods to verify correct arguments and state.

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`static ISymbol`	`checkAssignedVariable(IExpr expr)` Check if the argument is a symbol and has an assigned value.
`static IAST`	`checkASTType(IAST ast, int position)` Check if the argument at the given position is an AST.
`static IAST`	`checkASTType(IExpr expr)` Check if the expression is an AST.
`static IAST`	`checkASTUpRuleType(IExpr expr)` Check if the argument at the given position is an AST.
`static java.lang.String`	`checkContextName(IAST ast, int position)` Check if the argument at the given position is a `IStringX` string object.
`static IExpr`	`checkEquation(IExpr expr)` Check if the given expression is an equation (i.e.
`static IAST`	`checkEquations(IAST ast, int position)` Check if the argument at the given `ast` position is an equation (i.e.
`static IAST`	`checkEven(IAST ast)` If `ast.size()-1` is not even throw a `WrongNumberOfArguments` exception.
`static IInteger`	`checkIntegerType(IAST ast, int position)` Check if the argument at the given position is a integer.
`static int`	`checkIntType(IAST ast, int pos)` Check the argument, if it's a Java `int` value in the range [0, Integer.MAX_VALUE]
`static int`	`checkIntType(IAST ast, int pos, int startValue)` Check the argument, if it's a Java `int` value in the range [ `startValue`, Integer.MAX_VALUE]
`static int`	`checkIntType(IExpr expr)` Check the expression, if it's a Java `int` value in the range [0 , Integer.MAX_VALUE]
`static int`	`checkIntType(IExpr expr, int startValue)` Check the expression, if it's a Java `int` value in the range [ `startValue`, Integer.MAX_VALUE]
`static long`	`checkLongPowerExponent(IAST ast)` Get the exponent `long` value of the `ast` expressions, which is identified as a `Power[<something>, exponent]` expression.
`static long`	`checkLongType(IExpr expr)` Check the argument, if it's a Java `long` value in the range [0, Long.MAX_VALUE]
`static IAST`	`checkOdd(IAST ast)` If `ast.size()-1` is not odd throw a `WrongNumberOfArguments` exception.
`static int`	`checkPowerExponent(IAST ast)` Get the exponent `int` value of the `ast` expressions, which is identified as a `Power[<something>, exponent]` expression.
`static IAST`	`checkRange(IAST ast, int from)` If `ast.size() < from` throw a `WrongNumberOfArguments` exception.
`static IAST`	`checkRange(IAST ast, int from, int to)` If `ast.size() < from \|\| ast.size() > to` throw a `WrongNumberOfArguments` exception.
`static IAST`	`checkSize(IAST ast, int size)` If {@code ast.size() !
`static IStringX`	`checkStringType(IAST ast, int position)` Check if the argument at the given position is a `IStringX` string object.
`static IAST`	`checkSymbolOrSymbolList(IAST ast, int position)` Check if the argument at the given position is a single symbol or a list of symbols.
`static ISymbol`	`checkSymbolType(IAST ast, int position)` Check if the argument at the given position is a symbol.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - checkIntType
```
public static int checkIntType(IAST ast,
                               int pos)
```
    Check the argument, if it's a Java int value in the range [0, Integer.MAX_VALUE]
    
    Throws:
    
    WrongArgumentType
  - checkPowerExponent
```
public static int checkPowerExponent(IAST ast)
```
    Get the exponent int value of the ast expressions, which is identified as a Power[<something>, exponent] expression. The int value can be determined from an IInteger or INum expression.
    
    Parameters:
    
    ast -
    
    Returns:
    
    the exponent int value of the Power[<something>, exponent] expression.
    
    Throws:
    
    WrongArgumentType
  - checkLongPowerExponent
```
public static long checkLongPowerExponent(IAST ast)
```
    Get the exponent long value of the ast expressions, which is identified as a Power[<something>, exponent] expression. The long value can be determined from an IInteger or INum expression.
    
    Parameters:
    
    ast -
    
    Returns:
    
    the exponent long value of the Power[<something>, exponent] expression.
    
    Throws:
    
    WrongArgumentType
  - checkLongType
```
public static long checkLongType(IExpr expr)
```
    Check the argument, if it's a Java long value in the range [0, Long.MAX_VALUE]
    
    Throws:
    
    WrongArgumentType
  - checkIntType
```
public static int checkIntType(IAST ast,
                               int pos,
                               int startValue)
```
    Check the argument, if it's a Java int value in the range [ startValue, Integer.MAX_VALUE]
    
    Throws:
    
    WrongArgumentType
  - checkIntType
```
public static int checkIntType(IExpr expr)
```
    Check the expression, if it's a Java int value in the range [0 , Integer.MAX_VALUE]
    
    Throws:
    
    WrongArgumentType
  - checkIntType
```
public static int checkIntType(IExpr expr,
                               int startValue)
```
    Check the expression, if it's a Java int value in the range [ startValue, Integer.MAX_VALUE]
    
    Parameters:
    
    expr - a signed number which will be converted to a Java int if possible, otherwise throw a WrongArgumentType exception.
    
    Throws:
    
    WrongArgumentType
  - checkIntegerType
```
public static IInteger checkIntegerType(IAST ast,
                                        int position)
```
    Check if the argument at the given position is a integer.
    
    Parameters:
    
    position - the position which has to be a symbol.
    
    Throws:
    
    WrongArgumentType - if it's not a symbol.
  - checkRange
```
public static IAST checkRange(IAST ast,
                              int from)
```
    If ast.size() < from throw a WrongNumberOfArguments exception.
    
    Throws:
    
    WrongNumberOfArguments - if size is not in the range from to Integer.MAX_VALUE
  - checkRange
```
public static IAST checkRange(IAST ast,
                              int from,
                              int to)
```
    If ast.size() < from || ast.size() > to throw a WrongNumberOfArguments exception.
    
    Throws:
    
    WrongNumberOfArguments - if size is not in the range from to to
  - checkSize
```
public static IAST checkSize(IAST ast,
                             int size)
```
    If ast.size() != size throw a WrongNumberOfArguments exception.
    
    Throws:
    
    WrongNumberOfArguments - if size unequals the list size
  - checkEven
```
public static IAST checkEven(IAST ast)
```
    If ast.size()-1 is not even throw a WrongNumberOfArguments exception.
    
    Throws:
    
    WrongNumberOfArguments - if ast.size()-1 is not even
  - checkOdd
```
public static IAST checkOdd(IAST ast)
```
    If ast.size()-1 is not odd throw a WrongNumberOfArguments exception.
    
    Throws:
    
    WrongNumberOfArguments - if ast.size()-1 is not odd
  - checkStringType
```
public static IStringX checkStringType(IAST ast,
                                       int position)
```
    Check if the argument at the given position is a IStringX string object.
    
    Parameters:
    
    position - the position which has to be a string.
    
    Throws:
    
    WrongArgumentType - if it's not a symbol.
  - checkContextName
```
public static java.lang.String checkContextName(IAST ast,
                                                int position)
```
    Check if the argument at the given position is a IStringX string object.
    
    Parameters:
    
    position - the position which has to be a string.
    
    Throws:
    
    WrongArgumentType - if it's not a symbol.
  - checkSymbolOrSymbolList
```
public static IAST checkSymbolOrSymbolList(IAST ast,
                                           int position)
```
    Check if the argument at the given position is a single symbol or a list of symbols.
    
    Parameters:
    
    position - the position which has to be a symbol or list.
    
    Returns:
    
    a list of symbols defined at ast.get(position).
    
    Throws:
    
    WrongArgumentType - if it's not a symbol.
  - checkAssignedVariable
```
public static ISymbol checkAssignedVariable(IExpr expr)
```
    Check if the argument is a symbol and has an assigned value.
    
    Parameters:
    
    expr - the expr which has to be a symbol.
    
    Returns:
    
    expr if it's a Symbol
    
    Throws:
    
    WrongArgumentType - if it's not a symbol.
  - checkSymbolType
```
public static ISymbol checkSymbolType(IAST ast,
                                      int position)
```
    Check if the argument at the given position is a symbol.
    
    Parameters:
    
    position - the position which has to be a symbol.
    
    Throws:
    
    WrongArgumentType - if it's not a symbol.
  - checkASTUpRuleType
```
public static IAST checkASTUpRuleType(IExpr expr)
```
    Check if the argument at the given position is an AST.
    
    Parameters:
    
    position - the position which has to be an AST.
    
    Throws:
    
    WrongArgumentType - if it's not an AST.
  - checkASTType
```
public static IAST checkASTType(IAST ast,
                                int position)
```
    Check if the argument at the given position is an AST.
    
    Parameters:
    
    position - the position which has to be an AST.
    
    Throws:
    
    WrongArgumentType - if it's not an AST.
  - checkASTType
```
public static IAST checkASTType(IExpr expr)
```
    Check if the expression is an AST.
    
    Throws:
    
    WrongArgumentType - if it's not an AST.
  - checkEquations
```
public static IAST checkEquations(IAST ast,
                                  int position)
```
    Check if the argument at the given ast position is an equation (i.e. Equal(a,b)) or a list of equations or a boolean And() expression of equations and return a list of expanded expressions, which should be equal to 0.
    
    Parameters:
    
    ast -
    
    position - the position of the equations argument in the ast expression.
    
    Returns:
  - checkEquation
```
public static IExpr checkEquation(IExpr expr)
```
    Check if the given expression is an equation (i.e. Equal(a,b))
    
    Parameters:
    
    expr - the expression which should be an equation
    
    Returns:

Class Validate

Method Summary

Methods inherited from class java.lang.Object

Method Detail

checkIntType

checkPowerExponent

checkLongPowerExponent

checkLongType

checkIntType

checkIntType

checkIntType

checkIntegerType

checkRange

checkRange

checkSize

checkEven

checkOdd

checkStringType

checkContextName

checkSymbolOrSymbolList

checkAssignedVariable

checkSymbolType

checkASTUpRuleType

checkASTType

checkASTType

checkEquations

checkEquation