• About
• Install
• Tutorial
• Errors
• Code Catalog
• Research Papers

Errors

Click an error for more information

2100 - 2149:  Name Checker (Top Level)

• 2100 Type with name 'XXX' already declared in this scope.
• 2101 Non-procedure type with name 'XXX' already declared in this scope.
• 2102 Type with name 'XXX' already declared in this scope.
• 2103 Type with name 'XXX' already declared in this scope.
• 2104 File not found: XXX
• 2105 Something went wrong while trying to parse XXX
• 2106 Package 'XXX' does not exist.
• 2107 File 'XXX' not found.
• 2108 File 'XXX' not found in package 'YYY'.
• 2109 Mobile procedure 'XXX' must have void return type.
• 2110 Only one declaration of mobile procedure 'XXX' may exist.
• 2111 Type with name 'XXX' already declared in this scope.

2150 - 2159:  Named Type Resolution

• 2150 Cannot resolve file 'XXX' as a local file or library.

2200 - 2299:  Name Resolution

• 2202 'XXX' already declared in this scope.
• 2203 Symbol 'XXX' not found.
• 2206 'XXX' already declared in this scope.
• 2207 Procedure 'XXX' not found.
• 2208 Cannot invoke non-procedure 'XXX'.
• 2210 Symbol 'XXX' not found.
• 2211 Symbol 'XXX' not found.

3000 - 3999:  Type Checking

• 3001 Array access index must be of integral type.
• 3002 Array literal with the keyword 'new'.
• 3003 Cannot assign value of type XXX to variable of type YYY.
• 3004 Cannot assign value of type XXX to variable of type YYY.
• 3005 Right hand side operand of operator 'X' must be of numeric type.
• 3006 Left hand side operand of operator 'X' must be of numeric type.
• 3007 Left hand side operand of operator 'X' must be of integral type.
• 3008 Right hand side operand of operator 'X' must be of integral type.
• 3009 Both right and left-hand-side operands of operator 'X' bust be of boolean or integral type.
• 3010 Operator 'X' requires operands of numeric type.
• 3011 Void type cannot be used here.
• 3012 Operator 'X' requires operands of the same type.
• 3013 Operator 'X' requires operands of boolean type.
• 3014 Operator 'X' requires both operands of either integral or boolean type.
• 3015 Operator 'X' requires operands of numeric type or string/boolean, string/numeric, or string/string type.
• 3016 Operator 'X' requires left operand of integral type.
• 3017 Operator 'X' requires right operand of integral type.
• 3018 Unknown Operator 'X'.
• 3019 Channel end expression requires channel type.
• 3020 Unknown sharing status for channel end expression.
• 3021 Channel or Timer type required in channel/timer read.
• 3022 Timer read cannot have extended rendez-vous block.
• 3023 Cannot write to a non-channel end.
• 3024 Non boolean Expression found as test in do-statement.
• 3025 Barrier type expected, found 'XXX'.
• 3026 Non-boolean expression found in for-statement.
• 3027 Non-boolean expression found as test in if-statement.
• 3028 Undefined named type 'XXX'.
• 3029 Unknown name expression.
• 3030 Cannot assign value 'XXX' to type 'YYY'.
• 3031 Array dimension must be of integral type.
• 3032 Array Initializer is not compatible with type 'XXX'.
• 3033 Incorrect number of expressions in protocol literal 'XXX'.
• 3034 Cannot assign value of type 'XXX' to protocol field 'YYY' of type 'ZZZ'.
• 3036 Left hand side of assignment not assignable.
• 3037 No suitable procedure found.
• 3038 Found more than one candidate - cannot chose between them!
• 3039 Cannot assign non-array to array type 'XXX'.
• 3040 Procedure return type is void; return statement cannot return a value.
• 3041 Procedure return type is 'XXX' but procedure return type is void.
• 3042 Incompatible type in return statement.
• 3043 Non-mobile procedure cannot suspend.
• 3044 Switch labels must be of type int or a protocol tag.
• 3045 Switch labels must be constants.
• 3046 Duplicate default label.
• 3047 Duplicate case label.
• 3048 Non-barrier type in sync statement.
• 3060 Protocol tag 'XXX' not found in protocol 'YYY'.
• 3061 Request for member 'XXX' in something not a record or protocol type.
• 3062 Switch statement expects value of type int or a protocol tag.
• 3063 Nested switch statements on the same protocol type is not allowed.
• 3064 Fall-through cases in protocol switch statement not allowed.
• 3065 Default case not allowed in protocol switch.
• 3066 Switch label must be of integer type.
• 3067 Switch label must be a protocol case name.
• 3069 Fall-through cases in protocol switch statement not allowed.
• 3070 Non-boolean Expression found as test in ternary expression.
• 3071 Both branches of a ternary expression must be of assignment compatible types.
• 3072 Both branches of a ternary expression must be of assignment compatible types.
• 3073 Unknown field reference 'XXX' in protocol tag 'YYY' in protocol 'ZZZ'.

5000 - 5099:  Reachability

• 5000 Else-part of if-statement unreachable.
• 5001 Then-part of if-statement unreachable.
• 5002 While-statement is an infinite loop
• 5003 Unreachable code following statement beginning on line X.
• 5004 Body of for-statement unreachable.
• 5005 For-statement is an infinite loop.
• 5006 Break statement outside loop or switch construct.
• 5008 Return-statement inside par-block is not legal.
• 5009 Break-statement inside par-block is not legal.
• 5011 Do-statement is an infinite loop.
• 5012 Body of while-statement unreachable.
• 5013 Continue-statement inside par-block is not legal.
• 5014 Continue statement outside loop construct.

5100 - 5199:  Parallel Usage Checking

• 5100 Parallel read and write access to record member 'XXX' illegal.
• 5101 Parallel read and write access to array member 'XXX' illegal.
• 5102 Parallel usage checking is not fully implemented for array access.
• 5103 Parallel write access to variable 'XXX' illegal.
• 5104 Parallel write access to record member 'XXX' illegal.
• 5105 Parallel write access to array member 'XXX' illegal.
• 5106 Parallel usage checking is not fully implemented for array access.
• 5107 Parallel read and write access to variable 'XXX' illegal.
• 5108 Parallel write access to variable 'XXX' illegal.
• 5109 Parallel write access to record member 'XXX' illegal.
• 5110 Parallel write access to array member 'XXX' illegal.
• 5111 Parallel usage checking is not fully implemented for array access.
• 5112 Parallel write access to variable 'XXX' illegal.
• 5113 Parallel write access to record member 'XXX' illegal.
• 5114 Parallel write access to array member 'XXX' illegal.
• 5115 Parallel usage checking is not fully implemented for array access.