Monitor/Struct mit "Lock" im Namen
monitor ReentrantLock {
}
ReentrantLock l;
mainAgent {
ReentrantLock m;
}
Hier wird ein monitor
/ struct
namens ReentrantLock
angelegt. Die Monitor-Klasse wird erfolgreich nach include/PseuCo_ReentrantLock.java
übersetzt, jedoch wird sie in in include/Main.java
nicht richtig verwendet:
public static final ReentrantLock l = new ReentrantLock();
Es müsste PseuCo_ReentrantLock
statt ReentrantLock
lock heißen.
Edited by Maximilian Wuttke