| [aad342c] | 1 | module dev.civl.abc {
|
|---|
| 2 | requires dev.civl.sarl;
|
|---|
| [b161e2f] | 3 | requires transitive antlr3runtime;
|
|---|
| [aad342c] | 4 | exports dev.civl.abc.main;
|
|---|
| 5 | exports dev.civl.abc.ast.IF;
|
|---|
| 6 | exports dev.civl.abc.ast.node.IF;
|
|---|
| 7 | exports dev.civl.abc.ast.node.IF.acsl;
|
|---|
| 8 | exports dev.civl.abc.ast.node.IF.compound;
|
|---|
| 9 | exports dev.civl.abc.ast.node.IF.declaration;
|
|---|
| 10 | exports dev.civl.abc.ast.node.IF.expression;
|
|---|
| 11 | exports dev.civl.abc.ast.node.IF.label;
|
|---|
| 12 | exports dev.civl.abc.ast.node.IF.omp;
|
|---|
| 13 | exports dev.civl.abc.ast.node.IF.statement;
|
|---|
| 14 | exports dev.civl.abc.ast.node.IF.type;
|
|---|
| 15 | exports dev.civl.abc.ast.value.IF;
|
|---|
| 16 | exports dev.civl.abc.ast.type.IF;
|
|---|
| 17 | exports dev.civl.abc.ast.entity.IF;
|
|---|
| 18 | exports dev.civl.abc.ast.conversion.IF;
|
|---|
| 19 | exports dev.civl.abc.front.IF;
|
|---|
| 20 | exports dev.civl.abc.token.IF;
|
|---|
| 21 | exports dev.civl.abc.config.IF;
|
|---|
| 22 | exports dev.civl.abc.transform.IF;
|
|---|
| 23 | exports dev.civl.abc.analysis.IF;
|
|---|
| 24 | exports dev.civl.abc.err.IF;
|
|---|
| 25 | exports dev.civl.abc.program.IF;
|
|---|
| 26 | exports dev.civl.abc.util.IF;
|
|---|
| 27 | exports dev.civl.abc.ast.node.common.acsl;
|
|---|
| 28 | exports dev.civl.abc.transform.common;
|
|---|
| 29 | exports dev.civl.abc.analysis.pointsTo.IF;
|
|---|
| 30 | exports dev.civl.abc.ast.util;
|
|---|
| 31 | exports dev.civl.abc.front.c.parse;
|
|---|
| 32 | exports dev.civl.abc.ast.type.common;
|
|---|
| 33 | exports dev.civl.abc.front.c.preproc;
|
|---|
| 34 | exports dev.civl.abc.ast.node.common.expression;
|
|---|
| [b964278] | 35 | opens dev.civl.abc.include;
|
|---|
| [aad342c] | 36 | }
|
|---|