PLC Laboratory 8 - Revision history

Beh01: /* Example */

2024-04-16T11:38:18Z

Example

Beh01: /* Example */

2024-04-16T11:37:53Z

Example

Beh01 at 12:28, 10 April 2024

2024-04-10T12:28:27Z

Beh01: /* Solution */

2022-03-30T09:02:12Z

Solution

Beh01 at 09:01, 30 March 2022

2022-03-30T09:01:55Z

Beh01 at 09:01, 30 March 2022

2022-03-30T09:01:11Z

Beh01 at 08:56, 30 March 2022

2022-03-30T08:56:12Z

Beh01 at 08:52, 30 March 2022

2022-03-30T08:52:54Z

Beh01 at 08:47, 30 March 2022

2022-03-30T08:47:29Z

Beh01 at 10:11, 27 January 2022

2022-01-27T10:11:40Z

@@ Line 39: / Line 39: @@
 * Output
 ''Your output may be different. Type error's messages are not precisely defined.
-<syntaxhighlight lang="haskell" >
+<syntaxhighlight lang="bash" >
 :0 - Variable 'a' type is int, but the assigned value is float.
 :2 - Module can be used only with integers.

@@ Line 24: / Line 24: @@
 == Example ==
 * Input
-<syntaxhighlight lang="haskell" >
+<syntaxhighlight lang="csharp" >
 int a,b;
 a = b = 15;

@@ Line 1: / Line 1: @@
-== Interpreter of Arithmetic Expressions Using ANTLR II ==
+== Type checking of Arithmetic Expressions Using ANTLR II ==
 Extend the interpreter of arithmetic expressions from previous [[PLC_Laboratory_7 | Laboratory 7]] with the usage of variables.
@@ Line 5: / Line 5: @@
 The basic description is still valid. Expressions contain +, -, *, / operators (with common priorities and left associativity) and parentheses. To simplify the task, consider we have only binary operators. There are no unary operators in our language.
-But now, we have variables. Their identifiers compose from letters and they have two types: <code>float</code> and <code>int</code>. Before variables are used, they need to be declared (use the same syntax as in C). The language is extended with <code>=</code> operator (lowest priority and right associativity).
+Now, we have variables. Their identifiers compose from letters and they have two types: <code>float</code> and <code>int</code>. Before variables are used, they need to be declared (use the same syntax as in C). The language is extended with <code>=</code> operator (lowest priority and right associativity).
-Moreover, now, our expressions have a type. If it contains only integer numbers and variables its type is <code>int</code>. In all other cases it is <code>float</code>. In other words, if there is a floating point number in our expression, all other integer values will be converted to float and the resulting type is <code>float</code>.
+Moreover, our expressions have a type. If it contains only integer numbers and variables its type is <code>int</code>. In all other cases it is <code>float</code>. In other words, if there is a floating point number in our expression, all other integer values will be converted to float and the resulting type is <code>float</code>.
 * You can start with following grammar: [http://linedu.vsb.cz/~beh01/wiki_data/PLC_Lab8_expr.g4 ANTLR input file]
 * Or you can start with following C# codes (containing symbol table and class solving printing of errors): [http://linedu.vsb.cz/~beh01/wiki_data/PLC_Lab8.zip PLC_Lab8.zip]
 == Input specification ==
@@ Line 17: / Line 20: @@
 == Output specification ==
-For each expression write one line containing the result – the computed value of the expression. If there is any syntactic error in the input, you can stop the computation. If the expression contains some other (type) error, write the error instead of the resulting value.
+Go through all expression, if there is any syntactic error in the input, you can stop the computation, if these expressions contain some other (type) error, write these errors.
 == Example ==
@@ Line 25: / Line 28: @@
 a = b = 15;
 a + b;
 float c;
 c = a + b;
@@ Line 30: / Line 34: @@
 a = c;
 c + 1.1;
 </syntaxhighlight >
 * Output
-''Your output may be different. Type error's messages are not precisely defined and there is no defined precision for floating point numbers.''
+''Your output may be different. Type error's messages are not precisely defined.
 <syntaxhighlight lang="haskell" >
+:0 - Variable 'a' type is int, but the assigned value is float.
+:2 - Module can be used only with integers.
 </syntaxhighlight >

← Older revision		Revision as of 09:02, 30 March 2022
Line 45:		Line 45:
	== Solution ==		== Solution ==

−	* You can download the solution: [http://linedu.vsb.cz/~beh01/wiki_data/~~PLC_Lab8~~.zip PLC_Lab8_solution.zip]	+	* You can download the solution: [http://linedu.vsb.cz/~beh01/wiki_data/PLC_Lab8_solution.zip PLC_Lab8_solution.zip]

@@ Line 9: / Line 9: @@
 Moreover, now, our expressions have a type. If it contains only integer numbers and variables its type is <code>int</code>. In all other cases it is <code>float</code>. In other words, if there is a floating point number in our expression, all other integer values will be converted to float and the resulting type is <code>float</code>.
-You can start with following grammar: [http://linedu.vsb.cz/~beh01/wiki_data/PLC_Lab8_expr.g4 ANTLR input file]
+* You can start with following grammar: [http://linedu.vsb.cz/~beh01/wiki_data/PLC_Lab8_expr.g4 ANTLR input file]
-Or you can start with following C# codes (containing symbol table and class solving printing of errors): [http://linedu.vsb.cz/~beh01/wiki_data/PLC_Lab8.zip PLC_Lab8.zip]
+* Or you can start with following C# codes (containing symbol table and class solving printing of errors): [http://linedu.vsb.cz/~beh01/wiki_data/PLC_Lab8.zip PLC_Lab8.zip]
 == Input specification ==
@@ Line 45: / Line 45: @@
 == Solution ==
-You can download the solution: [http://linedu.vsb.cz/~beh01/wiki_data/PLC_Lab8.zip PLC_Lab8_solution.zip]
+* You can download the solution: [http://linedu.vsb.cz/~beh01/wiki_data/PLC_Lab8.zip PLC_Lab8_solution.zip]

← Older revision		Revision as of 08:56, 30 March 2022
Line 41:		Line 41:
	31.1		31.1
	</syntaxhighlight >		</syntaxhighlight >
		+
		+	== Solution ==
		+
		+	You can download the solution: [http://linedu.vsb.cz/~beh01/wiki_data/PLC_Lab8.zip PLC_Lab8.zip]

← Older revision		Revision as of 08:47, 30 March 2022
Line 9:		Line 9:
	Moreover, now, our expressions have a type. If it contains only integer numbers and variables its type is <code>int</code>. In all other cases it is <code>float</code>. In other words, if there is a floating point number in our expression, all other integer values will be converted to float and the resulting type is <code>float</code>.		Moreover, now, our expressions have a type. If it contains only integer numbers and variables its type is <code>int</code>. In all other cases it is <code>float</code>. In other words, if there is a floating point number in our expression, all other integer values will be converted to float and the resulting type is <code>float</code>.

		+	You can start with following grammar: [http://linedu.vsb.cz/~beh01/wiki_data/PLC_Lab8_expr.g4 ANTLR input file]
	== Input specification ==		== Input specification ==