updated shell code to register query commands with Tcl object
[scpubgit/DX.git] / lib / DX / QueryState.pm
index 90d72bc..857745d 100644 (file)
@@ -1,9 +1,14 @@
 package DX::QueryState;
 
+use Types::Standard qw(HashRef);
 use DX::Class;
 
-#has proposition_sequence => (
-#  is => 'ro', isa => PropositionSequence, required => 1
-#);
+has predicates => (is => 'ro', isa => HashRef[Predicate], required => 1);
+
+has globals => (is => 'ro', isa => DictValue, required => 1);
+
+has proposition_sequence => (
+  is => 'ro', isa => PropositionSequence, required => 1
+);
 
 1;