vuminh224/tp2-vsl-pds
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Initial commit

Browse Source
This commit is contained in:
Dimitri Lajou
2025-03-21 17:26:31 +01:00
commit 7114c0e978
115 changed files with 1760 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
.gitignore vendored Normal file
View File

@@ -0,0 +1,5 @@
.gradle
build
bin
*.ll
*.DS_Store

9
.vscode/settings.json vendored Normal file
View File

@@ -0,0 +1,9 @@
{
"java.server.launchMode": "Standard",
"java.gradle.buildServer.enabled": "on",
"antlr4.generation": {
"mode": "none" // Don't generate source file with the antlr4-vscode extension
},
"java.configuration.updateBuildConfiguration": "automatic",
"java.inlayHints.parameterNames.enabled": "none"
}

45
README.md Normal file
View File

@@ -0,0 +1,45 @@
# TP2 PDS - VSL+
Ce projet VSCode contient tout le nécessaire pour commencer à programmer le compilateur.
Vous pouvez forker ce dépôt, mais devez impérativement garder votre dépôt privé.
Ce fichier `README.md` doit être complété au fur et à mesure de votre avancement.
## Compatibilité
- Java JDK 21
- ANTLR3 3.5.2
- Gradle 8.5
## Construction, exécution
Pour construire le projet, depuis la racine du projet :
```bash
./gradlew build
```
Pour exécuter le programme Java TP2.Main, depuis la racine du projet :
```bash
java -jar /build/libs/TP2.jar [args]
```
## Structure du projet
Fichiers de code source et de tests
- `src/main/java/` : fichiers sources Java à compléter
- `src/main/antlr/` : fichier sources ANTLR à compléter
- `tests/` : fichiers textes à utiliser pour les tests
Moteur de production Gradle
- `settings.gradle`, `build.gradle` : configuration Gradle
- `gradle/wrapper` : exécutable de Wrapper Gradle
- `gradlew`, `gradlew.bat` : scripts (unix/windows) à exécuter depuis le terminal pour lancer le moteur de production
Environnement VSCode
- `.vscode` : configuration de VSCode
- `eclipse-formatter.xml` : formatage de code source Java, optionnel
Git
- `.gitignore` : configuration pour ignorer certains fichiers et répertoires

34
build.gradle Normal file
View File

@@ -0,0 +1,34 @@
plugins {
id 'java'
id 'antlr'
}
repositories {
mavenCentral()
}
dependencies {
// use ANTLR version 3, with explicit k for LL(k)
antlr "org.antlr:antlr:3.5.2"
implementation 'org.pcollections:pcollections:4.0.2'
}
java {
sourceCompatibility = "1.21"
targetCompatibility = "1.21"
}
generateGrammarSource {
arguments += [ '-no-visitor', '-no-listener' ]
outputDirectory = new File(buildDir.toString() + "/generated-src/antlr/main/TP2/")
}
jar {
manifest {
attributes (
'Main-Class': 'TP2.Main',
'Class-Path': configurations.runtimeClasspath.files.collect { "file:///" + it.canonicalPath }.join(' ')
)
}
}

16
compile Executable file
View File

@@ -0,0 +1,16 @@
#!/bin/sh
# stop script at first fail
set -e
if [ "$#" -ne 1 ] ; then
echo "usage: $0 file.vsl"
exit 0
fi
name="`dirname $1`/`basename $1 .vsl`"
# translating from VSL to LLVM IR (.ll)
java -jar build/libs/TP2.jar < $name.vsl > $name.ll
clang $name.ll -o $name

BIN
gradle/wrapper/gradle-wrapper.jar vendored Normal file
View File

Binary file not shown.

7
gradle/wrapper/gradle-wrapper.properties vendored Normal file
View File

@@ -0,0 +1,7 @@
distributionBase=GRADLE_USER_HOME
distributionPath=wrapper/dists
distributionUrl=https\://services.gradle.org/distributions/gradle-8.5-bin.zip
networkTimeout=10000
validateDistributionUrl=true
zipStoreBase=GRADLE_USER_HOME
zipStorePath=wrapper/dists

249
gradlew vendored Executable file
View File

@@ -0,0 +1,249 @@
#!/bin/sh
#
# Copyright © 2015-2021 the original authors.
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# https://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#
##############################################################################
#
# Gradle start up script for POSIX generated by Gradle.
#
# Important for running:
#
# (1) You need a POSIX-compliant shell to run this script. If your /bin/sh is
# noncompliant, but you have some other compliant shell such as ksh or
# bash, then to run this script, type that shell name before the whole
# command line, like:
#
# ksh Gradle
#
# Busybox and similar reduced shells will NOT work, because this script
# requires all of these POSIX shell features:
# * functions;
# * expansions «$var», «${var}», «${var:-default}», «${var+SET}»,
# «${var#prefix}», «${var%suffix}», and «$( cmd )»;
# * compound commands having a testable exit status, especially «case»;
# * various built-in commands including «command», «set», and «ulimit».
#
# Important for patching:
#
# (2) This script targets any POSIX shell, so it avoids extensions provided
# by Bash, Ksh, etc; in particular arrays are avoided.
#
# The "traditional" practice of packing multiple parameters into a
# space-separated string is a well documented source of bugs and security
# problems, so this is (mostly) avoided, by progressively accumulating
# options in "$@", and eventually passing that to Java.
#
# Where the inherited environment variables (DEFAULT_JVM_OPTS, JAVA_OPTS,
# and GRADLE_OPTS) rely on word-splitting, this is performed explicitly;
# see the in-line comments for details.
#
# There are tweaks for specific operating systems such as AIX, CygWin,
# Darwin, MinGW, and NonStop.
#
# (3) This script is generated from the Groovy template
# https://github.com/gradle/gradle/blob/HEAD/subprojects/plugins/src/main/resources/org/gradle/api/internal/plugins/unixStartScript.txt
# within the Gradle project.
#
# You can find Gradle at https://github.com/gradle/gradle/.
#
##############################################################################
# Attempt to set APP_HOME
# Resolve links: $0 may be a link
app_path=$0
# Need this for daisy-chained symlinks.
while
APP_HOME=${app_path%"${app_path##*/}"} # leaves a trailing /; empty if no leading path
[ -h "$app_path" ]
do
ls=$( ls -ld "$app_path" )
link=${ls#*' -> '}
case $link in #(
/*) app_path=$link ;; #(
*) app_path=$APP_HOME$link ;;
esac
done
# This is normally unused
# shellcheck disable=SC2034
APP_BASE_NAME=${0##*/}
# Discard cd standard output in case $CDPATH is set (https://github.com/gradle/gradle/issues/25036)
APP_HOME=$( cd "${APP_HOME:-./}" > /dev/null && pwd -P ) || exit
# Use the maximum available, or set MAX_FD != -1 to use that value.
MAX_FD=maximum
warn () {
echo "$*"
} >&2
die () {
echo
echo "$*"
echo
exit 1
} >&2
# OS specific support (must be 'true' or 'false').
cygwin=false
msys=false
darwin=false
nonstop=false
case "$( uname )" in #(
CYGWIN* ) cygwin=true ;; #(
Darwin* ) darwin=true ;; #(
MSYS* | MINGW* ) msys=true ;; #(
NONSTOP* ) nonstop=true ;;
esac
CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar
# Determine the Java command to use to start the JVM.
if [ -n "$JAVA_HOME" ] ; then
if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
# IBM's JDK on AIX uses strange locations for the executables
JAVACMD=$JAVA_HOME/jre/sh/java
else
JAVACMD=$JAVA_HOME/bin/java
fi
if [ ! -x "$JAVACMD" ] ; then
die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
Please set the JAVA_HOME variable in your environment to match the
location of your Java installation."
fi
else
JAVACMD=java
if ! command -v java >/dev/null 2>&1
then
die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
Please set the JAVA_HOME variable in your environment to match the
location of your Java installation."
fi
fi
# Increase the maximum file descriptors if we can.
if ! "$cygwin" && ! "$darwin" && ! "$nonstop" ; then
case $MAX_FD in #(
max*)
# In POSIX sh, ulimit -H is undefined. That's why the result is checked to see if it worked.
# shellcheck disable=SC2039,SC3045
MAX_FD=$( ulimit -H -n ) ||
warn "Could not query maximum file descriptor limit"
esac
case $MAX_FD in #(
'' | soft) :;; #(
*)
# In POSIX sh, ulimit -n is undefined. That's why the result is checked to see if it worked.
# shellcheck disable=SC2039,SC3045
ulimit -n "$MAX_FD" ||
warn "Could not set maximum file descriptor limit to $MAX_FD"
esac
fi
# Collect all arguments for the java command, stacking in reverse order:
# * args from the command line
# * the main class name
# * -classpath
# * -D...appname settings
# * --module-path (only if needed)
# * DEFAULT_JVM_OPTS, JAVA_OPTS, and GRADLE_OPTS environment variables.
# For Cygwin or MSYS, switch paths to Windows format before running java
if "$cygwin" || "$msys" ; then
APP_HOME=$( cygpath --path --mixed "$APP_HOME" )
CLASSPATH=$( cygpath --path --mixed "$CLASSPATH" )
JAVACMD=$( cygpath --unix "$JAVACMD" )
# Now convert the arguments - kludge to limit ourselves to /bin/sh
for arg do
if
case $arg in #(
-*) false ;; # don't mess with options #(
/?*) t=${arg#/} t=/${t%%/*} # looks like a POSIX filepath
[ -e "$t" ] ;; #(
*) false ;;
esac
then
arg=$( cygpath --path --ignore --mixed "$arg" )
fi
# Roll the args list around exactly as many times as the number of
# args, so each arg winds up back in the position where it started, but
# possibly modified.
#
# NB: a `for` loop captures its iteration list before it begins, so
# changing the positional parameters here affects neither the number of
# iterations, nor the values presented in `arg`.
shift # remove old arg
set -- "$@" "$arg" # push replacement arg
done
fi
# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m"'
# Collect all arguments for the java command:
# * DEFAULT_JVM_OPTS, JAVA_OPTS, JAVA_OPTS, and optsEnvironmentVar are not allowed to contain shell fragments,
# and any embedded shellness will be escaped.
# * For example: A user cannot expect ${Hostname} to be expanded, as it is an environment variable and will be
# treated as '${Hostname}' itself on the command line.
set -- \
"-Dorg.gradle.appname=$APP_BASE_NAME" \
-classpath "$CLASSPATH" \
org.gradle.wrapper.GradleWrapperMain \
"$@"
# Stop when "xargs" is not available.
if ! command -v xargs >/dev/null 2>&1
then
die "xargs is not available"
fi
# Use "xargs" to parse quoted args.
#
# With -n1 it outputs one arg per line, with the quotes and backslashes removed.
#
# In Bash we could simply go:
#
# readarray ARGS < <( xargs -n1 <<<"$var" ) &&
# set -- "${ARGS[@]}" "$@"
#
# but POSIX shell has neither arrays nor command substitution, so instead we
# post-process each arg (as a line of input to sed) to backslash-escape any
# character that might be a shell metacharacter, then use eval to reverse
# that process (while maintaining the separation between arguments), and wrap
# the whole thing up as a single "set" statement.
#
# This will of course break if any of these variables contains a newline or
# an unmatched quote.
#
eval "set -- $(
printf '%s\n' "$DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS" |
xargs -n1 |
sed ' s~[^-[:alnum:]+,./:=@_]~\\&~g; ' |
tr '\n' ' '
)" '"$@"'
exec "$JAVACMD" "$@"

92
gradlew.bat vendored Normal file
View File

@@ -0,0 +1,92 @@
@rem
@rem Copyright 2015 the original author or authors.
@rem
@rem Licensed under the Apache License, Version 2.0 (the "License");
@rem you may not use this file except in compliance with the License.
@rem You may obtain a copy of the License at
@rem
@rem https://www.apache.org/licenses/LICENSE-2.0
@rem
@rem Unless required by applicable law or agreed to in writing, software
@rem distributed under the License is distributed on an "AS IS" BASIS,
@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
@rem See the License for the specific language governing permissions and
@rem limitations under the License.
@rem
@if "%DEBUG%"=="" @echo off
@rem ##########################################################################
@rem
@rem Gradle startup script for Windows
@rem
@rem ##########################################################################
@rem Set local scope for the variables with windows NT shell
if "%OS%"=="Windows_NT" setlocal
set DIRNAME=%~dp0
if "%DIRNAME%"=="" set DIRNAME=.
@rem This is normally unused
set APP_BASE_NAME=%~n0
set APP_HOME=%DIRNAME%
@rem Resolve any "." and ".." in APP_HOME to make it shorter.
for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi
@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m"
@rem Find java.exe
if defined JAVA_HOME goto findJavaFromJavaHome
set JAVA_EXE=java.exe
%JAVA_EXE% -version >NUL 2>&1
if %ERRORLEVEL% equ 0 goto execute
echo.
echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
echo.
echo Please set the JAVA_HOME variable in your environment to match the
echo location of your Java installation.
goto fail
:findJavaFromJavaHome
set JAVA_HOME=%JAVA_HOME:"=%
set JAVA_EXE=%JAVA_HOME%/bin/java.exe
if exist "%JAVA_EXE%" goto execute
echo.
echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
echo.
echo Please set the JAVA_HOME variable in your environment to match the
echo location of your Java installation.
goto fail
:execute
@rem Setup the command line
set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
@rem Execute Gradle
"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %*
:end
@rem End local scope for the variables with windows NT shell
if %ERRORLEVEL% equ 0 goto mainEnd
:fail
rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
rem the _cmd.exe /c_ return code!
set EXIT_CODE=%ERRORLEVEL%
if %EXIT_CODE% equ 0 set EXIT_CODE=1
if not ""=="%GRADLE_EXIT_CONSOLE%" exit %EXIT_CODE%
exit /b %EXIT_CODE%
:mainEnd
if "%OS%"=="Windows_NT" endlocal
:omega

141
runAllTests.py Executable file
View File

@@ -0,0 +1,141 @@
#!/usr/bin/env python3
import os
import subprocess
from colorama import init as colorama_init
from colorama import Fore
from colorama import Style
stats = {}
def runTestNormalLevel(level):
print(f"Running test of level {level}")
stats[level] = (0,0,0,0)
for dirname, dirnames, filenames in os.walk(f'./tests/testlevel{level}'):
for filename in filenames:
runNormalTest(level, dirname, filename)
def runNormalTest(i, dirname,filename):
vslToLLVM = False
llvmToBin = False
executionCorrect = False
path = os.path.join(dirname, filename)
basename, ext = os.path.splitext(path)
# Ignore not .vsl files
if ext != ".vsl":
return
print(f'\tRunning test {filename}')
# VSL -> LLVM
p = subprocess.run(f"java -jar build/libs/TP2.jar < {path} 1>{basename}.ll", shell=True)
if p.returncode == 0 :
vslToLLVM = True
# LLVM -> Bin
if vslToLLVM :
p = subprocess.run(f"clang {basename}.ll -o {basename} 2>/dev/null", shell=True)
if p.returncode == 0:
llvmToBin = True
executionCorrect = True
# Exe
if llvmToBin :
try:
if os.path.isfile(f"{basename}.test_in"):
p = subprocess.run(f"./{basename} < {basename}.test_in", shell=True, stdout=subprocess.PIPE, timeout=10)
else:
p = subprocess.run(f"./{basename}", shell=True, stdout=subprocess.PIPE, timeout=10)
except subprocess.TimeoutExpired:
executionCorrect = basename == "./tests/testlevel4/level4diverge"
# Check return code
if os.path.isfile(f"{basename}.test_ret"):
with open(f"{basename}.test_ret", "r") as expected:
executionCorrect = int(expected.read()) == p.returncode
# Check stdout
if os.path.isfile(f"{basename}.test_out"):
with open(f"{basename}.test_out", "rb") as expected:
executionCorrect = executionCorrect and expected.read() == p.stdout
print(f"{colorFromBool(vslToLLVM)}\t\tVSL to LLVM : {'OK' if vslToLLVM else 'Fail'}{Style.RESET_ALL}")
print(f"{colorFromBool(llvmToBin)}\t\tLLVM to Bin : {'OK' if llvmToBin else 'Fail'}{Style.RESET_ALL}")
print(f"{colorFromBool(executionCorrect)}\t\tCorrect Execution : {'OK' if executionCorrect else 'Fail'}{Style.RESET_ALL}")
x,y,z,t = stats[i]
if vslToLLVM :
x += 1
if llvmToBin :
y += 1
if executionCorrect :
z += 1
t += 1
stats[i] = (x,y,z,t)
def colorFromBool(b):
if b:
return Fore.GREEN
else:
return Fore.RED
def afficheStats(stat):
x,y,z,t = stat
print(f'\t Nombre de tests : {t}')
print(f'{colorFromBool(x==t)}\t vsl to llvm : {x} / {t}{Style.RESET_ALL}')
print(f'{colorFromBool(y==t)}\t llvm to bin : {y} / {t}{Style.RESET_ALL}')
print(f'{colorFromBool(z==t)}\t resultat correct: {z} / {t}{Style.RESET_ALL}')
nbError = 0
nbErrorTests = 0
def runErrorTest(dirname,filename):
path = os.path.join(dirname, filename)
basename, ext = os.path.splitext(path)
if ext != ".vsl":
return
print(f'\tRunning test {filename}')
global nbErrorTests
nbErrorTests = nbErrorTests + 1
p = subprocess.run(f"java -jar build/libs/TP2.jar < {path} 1>{basename}.ll", shell=True, stderr=subprocess.PIPE)
if p.returncode != 0 and p.stderr != b'':
print(f"\t\t{Fore.GREEN}Error : Yes{Style.RESET_ALL}")
global nbError
nbError = nbError + 1
return 1
else:
print(f"\t\t{Fore.RED}Error : No{Style.RESET_ALL}")
return 0
def runErrorLevelTests():
print(f"Running test of level error")
for dirname, dirnames, filenames in os.walk(f'./tests/testlevelerror'):
# print path to all filenames.
for filename in filenames:
runErrorTest( dirname, filename)
def runTests(testDirname):
for i in range(1,5):
runTestNormalLevel(i)
runErrorLevelTests()
for i in range(1,5):
print(f'Résumé du level {i}')
afficheStats(stats[i])
print(f'Résumé du level error')
print(f'{colorFromBool(nbError==nbErrorTests)}\t Nombre d\'erreurs : {nbError} / {nbErrorTests}{Style.RESET_ALL}')
if __name__ == "__main__" :
colorama_init()
runTests("tests")

1
settings.gradle Normal file
View File

@@ -0,0 +1 @@
rootProject.name = 'TP2'

22
src/main/antlr/VSLLexer.g Normal file
View File

@@ -0,0 +1,22 @@
lexer grammar VSLLexer;
options {
language = Java;
}
@header {
package TP2;
}
WS : (' '|'\n'|'\t') { skip(); }
;
COMMENT : '//' (~'\n')* { skip(); }
;
fragment LETTER : 'a'..'z' ;
fragment DIGIT : '0'..'9' ;
fragment ASCII : ~('\n'|'"');

24
src/main/antlr/VSLParser.g Normal file
View File

@@ -0,0 +1,24 @@
parser grammar VSLParser;
options {
language = Java;
tokenVocab = VSLLexer;
k = 1;
}
@header {
package TP2;
import TP2.asd.*;
}
// On syntax error, raise exception rather than silently recovery
@rulecatch {
catch (RecognitionException ex) {
reportError(ex) ;
throw(ex) ;
}
}
program returns [Program p] : /* TODO */;

51
src/main/java/TP2/Main.java Normal file
View File

@@ -0,0 +1,51 @@
package TP2;
import java.nio.file.Paths;
import java.util.Optional;
import java.io.IOException;
import org.antlr.runtime.ANTLRFileStream;
import org.antlr.runtime.ANTLRInputStream;
import org.antlr.runtime.CharStream;
import org.antlr.runtime.CommonTokenStream;
import org.antlr.runtime.RecognitionException;
import TP2.asd.Program;
public class Main {
public static void main(String[] args) {
try {
// Set input
CharStream input;
if (args.length == 0) {
// From standard input
input = new ANTLRInputStream(System.in);
} else {
// From file name in first argument
input = new ANTLRFileStream(args[0]);
}
// Instantiate Lexer
VSLLexer lexer = new VSLLexer(input);
CommonTokenStream tokens = new CommonTokenStream(lexer);
// Instantiate Parser
VSLParser parser = new VSLParser(tokens);
// Parse
Program ast = parser.program();
// Pretty-print the program (to debug parsing)
System.err.println("todo");
// Verify the program semantic
// Generate the intermediate representation
System.out.println("todo");
} catch (IOException | RecognitionException e) {
e.printStackTrace();
throw new RuntimeException("Unable to proceed");
}
}
}

5
src/main/java/TP2/asd/Program.java Normal file
View File

@@ -0,0 +1,5 @@
package TP2.asd;
public record Program() {
}

5
src/main/java/TP2/llvm/LLVMString.java Normal file
View File

@@ -0,0 +1,5 @@
package TP2.llvm;
public record LLVMString(String data, int size) {
}

81
src/main/java/TP2/llvm/Utils.java Normal file
View File

@@ -0,0 +1,81 @@
package TP2.llvm;
import java.util.regex.Pattern;
import java.util.regex.Matcher;
public class Utils {
private static int tmp = 0;
private static int lab = 0;
private static int glob = 0;
private final static Pattern re = Pattern.compile("\\\\n");
/**
* Generate a new unique local identifier (starting with %tmp)
*
* @return the identifier
*/
public static String newtmp() {
return newVar("tmp");
}
/**
* Generate a new unique local identifier (starting with %) for a variable
*
* @return the identifier
*/
public static String newVar(String prefix) {
tmp++;
return "%" + prefix + tmp;
}
/**
* <p>
* generate a new unique label starting with str
* </p>
*
* ex: newlab("if") may return "if24"
*
* @param str the start of the label
* @return the label name
*/
public static String newlab(String str) {
lab++;
return str + lab;
}
/**
* generate a new unique global identifier (starting with @)
*
* @param str the start of the name of the identifier
* @return the name of the identifier
*/
public static String newglob(String str) {
glob++;
return "@" + str + glob;
}
/**
* Transform escaped newlines ('\' 'n') into newline form suitable for LLVM and
* append the NUL character (end of string)
*
* @param str the input string
* @return a pair: the new String, and its size (according to LLVM)
*/
public static LLVMString stringTransform(String str) {
Matcher m = re.matcher(str);
StringBuffer res = new StringBuffer();
int count = 0;
while (m.find()) {
m.appendReplacement(res, "\\\\0A");
count++;
}
m.appendTail(res).append("\\00");
// + 1 for \00
// - 1 by \n because each ('\' '\n') is transformed into one char
return new LLVMString(res.toString(), 1 + str.length() - count);
}
}

1
tests/aLaMain.vsl Normal file
View File

@@ -0,0 +1 @@
FUNC INT main() RETURN 0 + 1 + 2

1
tests/testlevel1/hello_world.test_out Normal file
View File

@@ -0,0 +1 @@
Hello World

4
tests/testlevel1/hello_world.vsl Normal file
View File

@@ -0,0 +1,4 @@
FUNC VOID main() {
PRINT "Hello World"
}

1
tests/testlevel1/level1block.test_ret Normal file
View File

@@ -0,0 +1 @@
0

2
tests/testlevel1/level1block.vsl Normal file
View File

@@ -0,0 +1,2 @@
FUNC INT main() { RETURN 0 }

7
tests/testlevel1/level1expr.test_out Normal file
View File

@@ -0,0 +1,7 @@
5+7 = 12
5-7 = -2
5*7 = 35
5/7 = 0
5+1 = 6
5* (5+7) = 60
5* 5+7 = 32

10
tests/testlevel1/level1expr.vsl Normal file
View File

@@ -0,0 +1,10 @@
FUNC VOID main() {
PRINT 5,"+",7," = ", 5+7 ,"\n"
PRINT 5,"-",7," = ", 5-7 ,"\n"
PRINT 5,"*",7," = ", 5*7 ,"\n"
PRINT 5,"/",7," = ", 5/7 ,"\n"
PRINT 5,"+",1," = ", 5+1 ,"\n"
PRINT 5,"* (",5,"+",7,") = ", 5*(5+7) ,"\n"
PRINT 5,"* ",5,"+",7," = ", 5 * 5 + 7 ,"\n"
}

1
tests/testlevel1/level1function.test_ret Normal file
View File

@@ -0,0 +1 @@
0

1
tests/testlevel1/level1function.vsl Normal file
View File

@@ -0,0 +1 @@
FUNC INT main() RETURN 0

1
tests/testlevel1/level1if1.test_ret Normal file
View File

@@ -0,0 +1 @@
1

2
tests/testlevel1/level1if1.vsl Normal file
View File

@@ -0,0 +1,2 @@
FUNC INT main() IF 1 THEN RETURN 1 FI

1
tests/testlevel1/level1if2.test_ret Normal file
View File

@@ -0,0 +1 @@
1

2
tests/testlevel1/level1if2.vsl Normal file
View File

@@ -0,0 +1,2 @@
FUNC INT main() IF 1 THEN RETURN 1 ELSE RETURN 0 FI

1
tests/testlevel1/level1print1.test_out Normal file
View File

@@ -0,0 +1 @@
Hello

1
tests/testlevel1/level1print1.vsl Normal file
View File

@@ -0,0 +1 @@
FUNC VOID main() PRINT "Hello"

1
tests/testlevel1/level1print2.test_out Normal file
View File

@@ -0,0 +1 @@
1

2
tests/testlevel1/level1print2.vsl Normal file
View File

@@ -0,0 +1,2 @@
FUNC VOID main() PRINT 1

1
tests/testlevel1/level1print3.test_out Normal file
View File

@@ -0,0 +1 @@
1 = 1

2
tests/testlevel1/level1print3.vsl Normal file
View File

@@ -0,0 +1,2 @@
FUNC VOID main() PRINT "1 = ", 1

1
tests/testlevel1/level1proto.test_ret Normal file
View File

@@ -0,0 +1 @@
0

2
tests/testlevel1/level1proto1.vsl Normal file
View File

@@ -0,0 +1,2 @@
PROTO INT main()
FUNC INT main() RETURN 0

1
tests/testlevel1/level1sequence.test_out Normal file
View File

@@ -0,0 +1 @@
tototiti

3
tests/testlevel1/level1sequence.vsl Normal file
View File

@@ -0,0 +1,3 @@
FUNC VOID main() { PRINT "toto" PRINT "titi" }

1
tests/testlevel1/level1while1.test_ret Normal file
View File

@@ -0,0 +1 @@
0

2
tests/testlevel1/level1while1.vsl Normal file
View File

@@ -0,0 +1,2 @@
FUNC INT main() WHILE 1 DO RETURN 0 DONE

2
tests/testlevel2/level2assign.test_in Normal file
View File

@@ -0,0 +1,2 @@
7

1
tests/testlevel2/level2assign.test_out Normal file
View File

@@ -0,0 +1 @@
y vaut 7

6
tests/testlevel2/level2assign.vsl Normal file
View File

@@ -0,0 +1,6 @@
FUNC VOID main() {
INT x,y
READ x
y := x
PRINT "y vaut ",y
}

1
tests/testlevel2/level2call.test_out Normal file
View File

@@ -0,0 +1 @@
one() = 1

4
tests/testlevel2/level2call.vsl Normal file
View File

@@ -0,0 +1,4 @@
PROTO INT one()
FUNC VOID main() { PRINT "one() = ", one() }
FUNC INT one() RETURN 1

1
tests/testlevel2/level2call2.test_out Normal file
View File

@@ -0,0 +1 @@
1+3 = 4

4
tests/testlevel2/level2call2.vsl Normal file
View File

@@ -0,0 +1,4 @@
PROTO INT plus(x,y)
FUNC VOID main() PRINT "1+3 = " ,plus(1,3)
FUNC INT plus(x,y) RETURN x+y

14
tests/testlevel2/level2expr.test_out Normal file
View File

@@ -0,0 +1,14 @@
1+3 = 4
1-3 = -2
1*3 = 3
1/3 = 0
1+1 = 2
1* (1+3) = 4
1* 1+3 = 4
5+2 = 7
5-2 = 3
5*2 = 10
5/2 = 2
5+1 = 6
5* (5+2) = 35
5* 5+2 = 27

12
tests/testlevel2/level2expr.vsl Normal file
View File

@@ -0,0 +1,12 @@
PROTO VOID expr(x,y)
FUNC VOID main() { expr(1,3) expr(5,2) }
FUNC VOID expr(x,y) {
PRINT x,"+",y," = ", x+y ,"\n"
PRINT x,"-",y," = ", x-y ,"\n"
PRINT x,"*",y," = ", x*y ,"\n"
PRINT x,"/",y," = ", x/y ,"\n"
PRINT x,"+",1," = ", x+1 ,"\n"
PRINT x,"* (",x,"+",y,") = ", x*(x+y) ,"\n"
PRINT x,"* ",x,"+",y," = ", x * x + y ,"\n"
}

3
tests/testlevel2/level2if1.test_out Normal file
View File

@@ -0,0 +1,3 @@
2 est different de 1
1 est different de 2
1 est egal a 1

7
tests/testlevel2/level2if1.vsl Normal file
View File

@@ -0,0 +1,7 @@
PROTO VOID compare(x,y)
FUNC VOID main() { compare(2,1) compare(1,2) compare(1,1) }
FUNC VOID compare(x,y) IF x-y THEN PRINT x, " est different de ",y,"\n"
ELSE PRINT x, " est egal a ",y,"\n"
FI

1
tests/testlevel2/level2proto.test_out Normal file
View File

@@ -0,0 +1 @@
1+3 = 4

5
tests/testlevel2/level2proto.vsl Normal file
View File

@@ -0,0 +1,5 @@
PROTO INT plus(x,y)
FUNC VOID main() PRINT "1+3 = ", plus(1,3)
FUNC INT plus(x,y) RETURN x+y

2
tests/testlevel2/level2read.test_in Normal file
View File

@@ -0,0 +1,2 @@
3

1
tests/testlevel2/level2read.test_out Normal file
View File

@@ -0,0 +1 @@
Le nombre lu est 3

5
tests/testlevel2/level2read.vsl Normal file
View File

@@ -0,0 +1,5 @@
FUNC VOID main() {
INT x
READ x
PRINT "Le nombre lu est ", x
}

3
tests/testlevel3/level3block.test_in Normal file
View File

@@ -0,0 +1,3 @@
2
5

1
tests/testlevel3/level3block.test_out Normal file
View File

@@ -0,0 +1 @@
y a l'interieur vaut 5, mais a l'exterieur du bloc il vaut 2

9
tests/testlevel3/level3block.vsl Normal file
View File

@@ -0,0 +1,9 @@
FUNC VOID main() {
INT y
READ y
{ INT y
READ y
PRINT "y a l'interieur vaut ",y
}
PRINT ", mais a l'exterieur du bloc il vaut ",y
}

1
tests/testlevel3/level3block1.test_out Normal file
View File

@@ -0,0 +1 @@
100

5
tests/testlevel3/level3block1.vsl Normal file
View File

@@ -0,0 +1,5 @@
FUNC VOID main(f) {
INT f
f:=100
PRINT f
}

0
tests/testlevel3/level3block2.test_out Normal file
View File

4
tests/testlevel3/level3tab1.test_in Normal file
View File

@@ -0,0 +1,4 @@
7
3
1

1
tests/testlevel3/level3tab1.test_out Normal file
View File

@@ -0,0 +1 @@
731

5
tests/testlevel3/level3tab1.vsl Normal file
View File

@@ -0,0 +1,5 @@
FUNC VOID main() {
INT x, t[3]
READ t[0],t[1],t[2]
PRINT t[0], t[1], t[2]
}

4
tests/testlevel3/level3tab2.test_in Normal file
View File

@@ -0,0 +1,4 @@
8
4
2

3
tests/testlevel3/level3tab2.test_out Normal file
View File

@@ -0,0 +1,3 @@
t[0] = 8
t[1] = 4
t[2] = 2

8
tests/testlevel3/level3tab2.vsl Normal file
View File

@@ -0,0 +1,8 @@
FUNC VOID main() {
INT x,y,z, t[3]
READ x,y,z
t[0] := x
t[1] := y
t[2] := z
PRINT "t[0] = ", t[0],"\nt[1] = ", t[1],"\nt[2] = ",t[2]
}

9
tests/testlevel3/level3tab3.test_in Normal file
View File

@@ -0,0 +1,9 @@
8
4
6
2
5
1
3
7

8
tests/testlevel3/level3tab3.test_out Normal file
View File

@@ -0,0 +1,8 @@
t[0] = 8
t[1] = 4
t[2] = 6
t[3] = 2
t[4] = 5
t[5] = 1
t[6] = 3
t[7] = 7

19
tests/testlevel3/level3tab3.vsl Normal file
View File

@@ -0,0 +1,19 @@
FUNC VOID main() {
INT i, t[8],x
i := 0
WHILE 8-i DO {
READ x
t[i] := x
i:= i+1
} DONE
i := 0
WHILE 8-i DO {
PRINT "t[",i,"] = ",t[i],"\n"
i:= i+1
} DONE
}

9
tests/testlevel3/level3tab4.test_in Normal file
View File

@@ -0,0 +1,9 @@
7
6
5
1
2
3
4
9

1
tests/testlevel3/level3tab4.test_out Normal file
View File

@@ -0,0 +1 @@
Tableau de taille 8 = [7,6,5,1,2,3,4,9]

24
tests/testlevel3/level3tab4.vsl Normal file
View File

@@ -0,0 +1,24 @@
PROTO VOID printtab(s,t[])
FUNC VOID main() {
INT i, t[8],x
i := 0
WHILE 8-i DO {
READ x
t[i] := x
i:= i+1
} DONE
printtab(8,t)
}
FUNC VOID printtab(size,t[]) {
INT i
PRINT "Tableau de taille ", size," = ["
i := 0
WHILE size-i DO {
IF i THEN PRINT "," FI
PRINT t[i]
i:= i+1
} DONE
PRINT "]\n"
}

3
tests/testlevel3/level3tab5.test_in Normal file
View File

@@ -0,0 +1,3 @@
10
20

3
tests/testlevel3/level3tab5.test_out Normal file
View File

@@ -0,0 +1,3 @@
entrezno :0 entrezno :1 Tableau de taille 2 = [10,20]
Main: Tableau de taille 2 = [10,20]
Fini

37
tests/testlevel3/level3tab5.vsl Normal file
View File

@@ -0,0 +1,37 @@
PROTO VOID readprinttab(s,t[])
FUNC VOID main() {
INT i,s,t[2]
s := 2
readprinttab(s,t)
PRINT "Main: Tableau de taille ",s," = ["
i := 0
WHILE s-i DO {
IF i THEN PRINT "," FI
PRINT t[i]
i:= i+1
}
DONE
PRINT "]\n"
PRINT "Fini"
}
FUNC VOID readprinttab(size,t[]) {
INT i
i := 0
WHILE size-i DO {
PRINT "entrezno :",i," "
READ t[i]
i:= i+1
}
DONE
PRINT "Tableau de taille ",size," = ["
i := 0
WHILE size-i DO {
IF i THEN PRINT "," FI
PRINT t[i]
i:= i+1
}
DONE
PRINT "]\n"
}

5
tests/testlevel4/level4diverge.vsl Normal file
View File

@@ -0,0 +1,5 @@
FUNC VOID main() {
PRINT "Toto"
WHILE 1 DO { INT x
x := 1 } DONE
}

1
tests/testlevel4/level4t1.test_out Normal file
View File

@@ -0,0 +1 @@
Et voila: 0001

18
tests/testlevel4/level4t1.vsl Normal file
View File

@@ -0,0 +1,18 @@
FUNC VOID main()
{
INT i,j,k,l
i := 0
j := 0
k := 0
l := 0
{ INT i,j,k
l := 1
{ INT i,j
k:= 2
{ INT i
j:= 3
}
}
}
PRINT "Et voila: ", i,j,k,l
}

2
tests/testlevel4/level4testcarre.test_out Normal file
View File

@@ -0,0 +1,2 @@
5^2 + 4^2 + 3^2 + 2^2 + 1^2 = 55

28
tests/testlevel4/level4testcarre.vsl Normal file
View File

@@ -0,0 +1,28 @@
FUNC VOID main()
{ INT n,i,s
n := 5
s := 0
i := n
WHILE i
DO
{ s := s + i*i
i := i - 1
}
DONE
PRINT "\n"
i := n
WHILE i-1
DO
{ PRINT i, "^2 + "
i := i - 1
}
DONE
PRINT "1^2 = ", s, "\n"
}

11
tests/testlevel4/level4testfact.test_out Normal file
View File

@@ -0,0 +1,11 @@
f(0) = 1
f(1) = 1
f(2) = 2
f(3) = 6
f(4) = 24
f(5) = 120
f(6) = 720
f(7) = 5040
f(8) = 40320
f(9) = 362880
f(10) = 3628800

32
tests/testlevel4/level4testfact.vsl Normal file
View File

@@ -0,0 +1,32 @@
PROTO INT fact(k)
FUNC VOID main()
{
INT i, t[11]
i := 0
WHILE 11 -i
DO
{
t[i] := fact(i)
i := i+1
}
DONE
i := 0
WHILE 11 -i
DO
{
PRINT "f(", i, ") = ", t[i], "\n"
i := i+1
}
DONE
}
FUNC INT fact(n)
{
IF n
THEN
RETURN n* fact(n-1)
ELSE
RETURN 1
FI
}

11
tests/testlevel4/level4testfact2.test_out Normal file
View File

@@ -0,0 +1,11 @@
f(0) = 1
f(1) = 1
f(2) = 2
f(3) = 6
f(4) = 24
f(5) = 120
f(6) = 720
f(7) = 5040
f(8) = 40320
f(9) = 362880
f(10) = 3628800

35
tests/testlevel4/level4testfact2.vsl Normal file
View File

@@ -0,0 +1,35 @@
PROTO INT fact(k)
FUNC VOID main()
{
INT i, t[11]
i := 0
WHILE 11 -i
DO
{
t[i] := fact(i)
i := i+1
}
DONE
i := 0
WHILE 11 -i
DO
{
PRINT "f(", i, ") = ", t[i], "\n"
i := i+1
}
DONE
}
FUNC INT fact(n)
{
INT res
IF n
THEN
res := n* fact(n-1)
ELSE
res := 1
FI
RETURN res
}

29
tests/testlevel4/level4testhanoi.test_out Normal file
View File

@@ -0,0 +1,29 @@
Hanoi avec 3 disques
Deplacer un disque de 1 a 3
Deplacer un disque de 1 a 2
Deplacer un disque de 3 a 2
Deplacer un disque de 1 a 3
Deplacer un disque de 2 a 1
Deplacer un disque de 2 a 3
Deplacer un disque de 1 a 3
Hanoi avec 4 disques
Deplacer un disque de 1 a 2
Deplacer un disque de 1 a 3
Deplacer un disque de 2 a 3
Deplacer un disque de 1 a 2
Deplacer un disque de 3 a 1
Deplacer un disque de 3 a 2
Deplacer un disque de 1 a 2
Deplacer un disque de 1 a 3
Deplacer un disque de 2 a 3
Deplacer un disque de 2 a 1
Deplacer un disque de 3 a 1
Deplacer un disque de 2 a 3
Deplacer un disque de 1 a 2
Deplacer un disque de 1 a 3
Deplacer un disque de 2 a 3

30
tests/testlevel4/level4testhanoi.vsl Normal file
View File

@@ -0,0 +1,30 @@
PROTO INT hanoi(n,delatour,alatour,parlatour)
FUNC VOID main()
{
INT ndisque,a
ndisque := 3
PRINT "\n Hanoi avec ", ndisque, " disques\n\n"
a := hanoi(ndisque,1,3,2)
ndisque := 4
PRINT "\n\nHanoi avec ", ndisque, " disques\n\n"
a := hanoi(ndisque,1,3,2)
}
FUNC INT hanoi(n,delatour,alatour,parlatour)
{
INT b
IF n
THEN
{
b := hanoi( n-1, delatour, parlatour, alatour )
PRINT "Deplacer un disque de ",delatour," a ",alatour,"\n"
b := hanoi( n-1, parlatour, alatour, delatour )
}
FI
RETURN 1
}

11
tests/testlevel4/level4testheap.test_in Normal file
View File

@@ -0,0 +1,11 @@
5
20
15
10
4
8
13
19
30
18

21
tests/testlevel4/level4testheap.test_out Normal file
View File

@@ -0,0 +1,21 @@
Entrer le0eme: i=1 j=5
Entrer le1eme: i=2 j=20
Entrer le2eme: i=3 j=15
Entrer le3eme: i=4 j=10
Entrer le4eme: i=5 j=4
Entrer le5eme: i=6 j=8
Entrer le6eme: i=7 j=13
Entrer le7eme: i=8 j=19
Entrer le8eme: i=9 j=30
Entrer le9eme: i=10 j=18
t[0] = 4
t[1] = 5
t[2] = 8
t[3] = 10
t[4] = 13
t[5] = 15
t[6] = 18
t[7] = 19
t[8] = 20
t[9] = 30

122
tests/testlevel4/level4testheap.vsl Normal file
View File

@@ -0,0 +1,122 @@
PROTO INT plusgrandstrict(n,m)
PROTO INT plusgrand(n,m)
PROTO VOID heapsort(t[], n)
// Ce programme lit un tableau de 10 entiers et imprime
// le tableau trie par heapsort.
//=====================================================
FUNC VOID main()
{
INT a[10], i, j
i := 0
WHILE 10-i DO
{
PRINT "\n Entrer le",i,"eme: "
READ j
a[i] := j
i := i+1
PRINT " i=", i, " j=",j
}
DONE
heapsort(a,10)
i := 0
WHILE 10-i DO
{
PRINT "\n t[",i,"] = ",a[i]
i:= i+1
}
DONE
}
// Implementation du heapsort
//===========================
FUNC VOID heapsort(t[], n ) // n: nombre d'elements a trier
{
INT l,r,j,s, test
l := n/2+1
r := n
WHILE plusgrand(r,2) DO
{
IF plusgrandstrict(l,1)
THEN // agrandissement t[l..r] -> t[l-1..r] heap
{
l := l-1
j := l
}
ELSE // selection : t[0] est le + grand et echange avec t[r-1]
// rearrangement de t[0..r-2]
{
INT ex
ex := t[0]
t[0] := t[r-1]
t[r-1] := ex
r := r-1
j := 1
}
FI
s := t[j-1]
test := plusgrand(r, 2*j)
WHILE test DO
{
INT k
k := 2*j // indice du premier fils de t[~j]
// on choisit le plus grand des deux
IF plusgrandstrict(r,k)*plusgrandstrict(t[k], t[k-1]) THEN k:=k+1 FI
// si le plus grand des deux est plus grand que s on echange avec s
IF plusgrandstrict(t[k-1],s)
THEN
{
t[j-1] := t[k-1]
j := k
test := plusgrand(r, 2*j)
}
ELSE test := 0 // une facon de faire un break
FI
}
DONE
t[j-1] := s
}
DONE
}
// fonctions de comparaison entre entiers
//=======================================
FUNC INT plusgrandstrict(n,m )
{
INT continue, nn, mm
continue := n*m
nn := n
mm := m
WHILE continue
DO
{
mm := mm-1
nn := nn-1
continue := nn*mm
}
DONE
IF nn THEN RETURN 1 ELSE RETURN 0 FI
}
FUNC INT plusgrand(n,m )
{
INT continue, nn, mm
continue := n*m
nn := n
mm := m
WHILE continue
DO
{
mm := mm-1
nn := nn-1
continue := nn*mm
}
DONE
IF nn THEN RETURN 1 ELSE IF mm THEN RETURN 0 ELSE RETURN 1 FI FI
}

11
tests/testlevel4/level4testtri.test_in Normal file
View File

@@ -0,0 +1,11 @@
10
15
12
18
17
19
13
12
11
11

21
tests/testlevel4/level4testtri.test_out Normal file
View File

@@ -0,0 +1,21 @@
Entrer le 0eme:
Entrer le 1eme:
Entrer le 2eme:
Entrer le 3eme:
Entrer le 4eme:
Entrer le 5eme:
Entrer le 6eme:
Entrer le 7eme:
Entrer le 8eme:
Entrer le 9eme:
t[0] = 10
t[1] = 11
t[2] = 11
t[3] = 12
t[4] = 12
t[5] = 13
t[6] = 15
t[7] = 17
t[8] = 18
t[9] = 19

80
tests/testlevel4/level4testtri.vsl Normal file
View File

@@ -0,0 +1,80 @@
PROTO INT plusgrandstrict(n,m)
PROTO VOID naivesort(t[], index)
// Ce programme lit un tableau de 10 entiers et imprime
// le tableau trie. Illustre le passage de tableaux en parametres
//===============================================================
FUNC VOID main()
{
INT a[10], i, j
i := 0
WHILE 10-i DO
{
PRINT "\n Entrer le ",i,"eme: "
READ j
a[i] := j
i := i+1
}
DONE
naivesort(a,9)
i := 0
WHILE 10-i DO
{
PRINT "\n t[",i,"] = ",a[i]
i:= i+1
}
DONE
}
// Tri naif: cherche le +grand elem du tableau et le met
// a la fin. Recommence avec le sous tableau terminant a index-1
//==============================================================
FUNC VOID naivesort(t[], index )
{
INT max , maxpos, i
IF index THEN // il y a au moins deux elements
{
max := t[index]
i:= index
maxpos := index
WHILE i+1 DO
{
IF plusgrandstrict(t[i], max) THEN
{
max := t[i]
maxpos := i
}
FI
i := i-1
}
DONE
t[maxpos] := t[index]
t[index] := max
naivesort(t,index-1)
}
FI
}
// fonction de comparaison entre entiers
//======================================
FUNC INT plusgrandstrict(n,m )
{
INT continue, nn, mm
continue := n*m
nn := n
mm := m
WHILE continue
DO
{
mm := mm-1
nn := nn-1
continue := nn*mm
}
DONE
IF nn THEN RETURN 1 ELSE RETURN 0 FI
}

10
tests/testlevelerror/test_decl_scope.vsl Normal file
View File

@@ -0,0 +1,10 @@
FUNC INT main() {
{
INT i
i := 3
PRINT i
}
PRINT i
RETURN 0
}

11
tests/testlevelerror/test_decl_scope2.vsl Normal file
View File

@@ -0,0 +1,11 @@
FUNC VOID f() {
INT i
i := 2
}
FUNC INT main() {
f()
PRINT i
RETURN 0
}

7
tests/testlevelerror/test_decl_scope3.vsl Normal file
View File

@@ -0,0 +1,7 @@
PROTO VOID f(i)
FUNC INT main() {
PRINT i
RETURN 0
}

10
tests/testlevelerror/test_func_redecl.vsl Normal file
View File

@@ -0,0 +1,10 @@
FUNC INT main() {
PRINT "a"
RETURN 0
}
FUNC INT main() {
PRINT "a"
RETURN 0
}

Some files were not shown because too many files have changed in this diff Show More