forked from cyrille-artho/lock-model
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.tags
79 lines (79 loc) · 6.08 KB
/
.tags
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
!_TAG_FILE_FORMAT 2 /extended format; --format=1 will not append ;" to lines/
!_TAG_FILE_SORTED 1 /0=unsorted, 1=sorted, 2=foldcase/
!_TAG_PROGRAM_AUTHOR Darren Hiebert /dhiebert@users.sourceforge.net/
!_TAG_PROGRAM_NAME Exuberant Ctags //
!_TAG_PROGRAM_URL http://ctags.sourceforge.net /official site/
!_TAG_PROGRAM_VERSION 5.9~svn20110310 //
ChainControl rtems/ChainControl.java /^ public ChainControl(){$/;" m class:ChainControl
ChainControl rtems/ChainControl.java /^public class ChainControl{$/;" c
Condition base/Condition.java /^public class Condition {$/;" c
Diagnostics Diagnostics.java /^public class Diagnostics extends SearchListenerAdapter {$/;" c
Environment harness/Environment.java /^public class Environment {$/;" c
Lock base/Lock.java /^public class Lock {$/;" c
Mutex rtems/Mutex.java /^ public Mutex(int idx){$/;" m class:Mutex
Mutex rtems/Mutex.java /^public class Mutex extends Lock {$/;" c
MyComparator rtems/Mutex.java /^class MyComparator implements Comparator<RTEMSThread>$/;" c
N_THREADS harness/Environment.java /^ public final static int N_THREADS = 2;$/;" f class:Environment
OrderList rtems/OrderList.java /^ public OrderList(){$/;" m class:OrderList
OrderList rtems/OrderList.java /^public class OrderList{$/;" c
PrioLock base/PrioLock.java /^public class PrioLock extends Lock {$/;" c
RTEMSThread rtems/RTEMSThread.java /^ public RTEMSThread() {$/;" m class:RTEMSThread
RTEMSThread rtems/RTEMSThread.java /^public class RTEMSThread extends Thread {$/;" c
TestThread harness/TestThread.java /^ public TestThread(int lockIdx[]) {$/;" m class:TestThread
TestThread harness/TestThread.java /^public class TestThread extends RTEMSThread {$/;" c
WaitQueue rtems/WaitQueue.java /^public class WaitQueue {$/;" c
base base/Condition.java /^package base;$/;" p
base base/Lock.java /^package base;$/;" p
base base/PrioLock.java /^package base;$/;" p
comparator rtems/Mutex.java /^ MyComparator comparator = new MyComparator();$/;" f class:Mutex
compare rtems/Mutex.java /^ public int compare(RTEMSThread t1, RTEMSThread t2)$/;" m class:MyComparator
count base/Lock.java /^ int count = 0;$/;" f class:Lock
count base/PrioLock.java /^ int count = 0;$/;" f class:PrioLock
createLock harness/Environment.java /^ static Lock createLock(int id) {$/;" m class:Environment
currentPriority rtems/RTEMSThread.java /^ int currentPriority;$/;" f class:RTEMSThread
getMutexIndex rtems/RTEMSThread.java /^ public int getMutexIndex(Mutex obj){$/;" m class:RTEMSThread
harness harness/Environment.java /^package harness;$/;" p
harness harness/TestThread.java /^package harness;$/;" p
holder rtems/Mutex.java /^ RTEMSThread holder;$/;" f class:Mutex
id rtems/Mutex.java /^ int id;$/;" f class:Mutex
idx harness/TestThread.java /^ int idx[]; \/\/ for simpler diagnosis later (if I get some help on JPF)$/;" f class:TestThread
init rtems/ChainControl.java /^ public void init(){$/;" m class:ChainControl
lock base/Lock.java /^ public synchronized void lock() {$/;" m class:Lock
lock base/PrioLock.java /^ public void lock() {$/;" m class:PrioLock
lock rtems/Mutex.java /^ public synchronized void lock() {$/;" m class:Mutex
locks harness/Environment.java /^ static final Lock[] locks = { createLock(1), createLock(2), createLock(3) };$/;" f class:Environment
locks harness/TestThread.java /^ Lock locks[];$/;" f class:TestThread
main harness/Environment.java /^ public final static void main(String[] args) {$/;" m class:Environment
mutexOrderList rtems/RTEMSThread.java /^ ArrayList<Mutex> mutexOrderList; \/\/it is a linkedList which stores acquired mutex objects in LIFO order. $/;" f class:RTEMSThread
nestCount rtems/Mutex.java /^ int nestCount;$/;" f class:Mutex
newCondition base/Lock.java /^ public Condition newCondition() { \/\/ stub$/;" m class:Lock
next rtems/ChainControl.java /^ Object next;$/;" f class:ChainControl
node rtems/OrderList.java /^ Object node;$/;" f class:OrderList
owner base/Lock.java /^ Object owner;$/;" f class:Lock
owner base/PrioLock.java /^ Object owner;$/;" f class:PrioLock
prev rtems/ChainControl.java /^ Object prev;$/;" f class:ChainControl
priorityBefore rtems/Mutex.java /^ int priorityBefore=-1;$/;" f class:Mutex
priorityBefore rtems/OrderList.java /^ int priorityBefore;$/;" f class:OrderList
priorityRaiseFilter rtems/Mutex.java /^ public boolean priorityRaiseFilter(int priority){$/;" m class:Mutex
propertyViolated Diagnostics.java /^ public void propertyViolated(Search search) {$/;" m class:Diagnostics
reEnqueue rtems/Mutex.java /^ public void reEnqueue()$/;" m class:Mutex
realPriority rtems/RTEMSThread.java /^ int realPriority;$/;" f class:RTEMSThread
resourceCount rtems/RTEMSThread.java /^ int resourceCount;$/;" f class:RTEMSThread
rtems rtems/ChainControl.java /^package rtems;$/;" p
rtems rtems/Mutex.java /^package rtems;$/;" p
rtems rtems/OrderList.java /^package rtems;$/;" p
rtems rtems/RTEMSThread.java /^package rtems;$/;" p
run harness/TestThread.java /^ public void run() {$/;" m class:TestThread
state rtems/RTEMSThread.java /^ Thread.State state;$/;" f class:RTEMSThread
topPrio base/PrioLock.java /^ int topPrio = Integer.MAX_VALUE; \/\/ dummy value$/;" f class:PrioLock
unlock base/Lock.java /^ public synchronized void unlock() {$/;" m class:Lock
unlock base/PrioLock.java /^ public synchronized void unlock() {$/;" m class:PrioLock
unlock rtems/Mutex.java /^ public synchronized void unlock() {$/;" m class:Mutex
updatePriority rtems/Mutex.java /^ public void updatePriority(int priority)$/;" m class:Mutex
updateRecPriority rtems/Mutex.java /^ public void updateRecPriority(int priority)$/;" m class:Mutex
updateTopPrio base/PrioLock.java /^ void updateTopPrio(Thread t) { \/\/ smaller priority has precedence$/;" m class:PrioLock
validator rtems/Mutex.java /^ public void validator(int from){$/;" m class:Mutex
wait rtems/RTEMSThread.java /^ PriorityQueue<RTEMSThread> wait;$/;" f class:RTEMSThread
waitCount base/PrioLock.java /^ int waitCount = 0;$/;" f class:PrioLock
waitQueue rtems/Mutex.java /^ PriorityQueue<RTEMSThread> waitQueue = new PriorityQueue<RTEMSThread>(7, comparator);$/;" f class:Mutex
waitingThreads base/PrioLock.java /^ Thread waitingThreads[] = new Thread[Environment.N_THREADS];$/;" f class:PrioLock