| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-12-12 22:39:47 +0100 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-12-12 22:39:47 +0100 |
| commit | 730ac64b4f5a680a6f32c8a0bedccf500444fdc6 (patch) | |
| tree | 8658f845812e33b4e3fabc2611459dd477b71e55 /src | |
| parent | c7900a01ff8028be4ae1b73cd4c1fe3dfef13200 (diff) | |
...
Diffstat (limited to 'src')
| -rw-r--r-- | src/ataxic.erl | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/ataxic.erl b/src/ataxic.erl index 8f8465f..5f8c912 100644 --- a/src/ataxic.erl +++ b/src/ataxic.erl @@ -67,6 +67,16 @@ ] ). +-export +( + [ + read_permission/1, + write_permission/1, + value/1, + sequence_meta/1 + ] +). + -export([apply_to/2, matches/2]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -158,6 +168,19 @@ lor (List) -> #lor{ params = List }. neg (V) -> #neg{ param = V }. + +-spec sequence_meta (list(meta())) -> meta(). +sequence_meta (List) -> #mseq{ ops = List }. + +-spec read_permission (basic()) -> meta(). +read_permission (OP) -> #read_perm{ op = OP }. + +-spec write_permission (basic()) -> meta(). +write_permission (OP) -> #write_perm{ op = OP }. + +-spec value (basic()) -> meta(). +value (OP) -> #value{ op = OP }. + %%%%% APPLY TO %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -spec apply_to (meta(), ataxia_entry:type()) -> ataxia_entry:type(). apply_to (#read_perm{ op = OP }, Entry) -> |


