show that facts can be retrieved from authorizer

[time4tea]

reference #69

give terms 'getters'
don't expose HashSet impl in 'getter'
replace hashcode with java versions.
make values final

hope its useful

I agree to https://developercertificate.org/

[time4tea]

hey thanks for all the comments - pr was to be useful. if you would like it go ahead, but its not really up for comments. cheers!

[divarvel]

Thanks for the PR! I have added comments for things I know (text representation of datalog terms). I realize that you kept existing behaviour, but since you're changing this part, we might as well make it consistent with other implementations.

For the hashcode modifications, someone who actually knows java will be better suited than me.

[time4tea]

i dont intend to make any further modifications - please take or not as you wish. cheers!

[divarvel]

alright, i'll let @KannarFr decide then. I still think the changes i mentioned are important but they can be carried out in a follow-up PR indeed.

Thanks for your time

[KannarFr]

LGTM.

Can you write an issue about the suggestions you've made?

[time4tea]

not trying to be unhelpful - but also want scope to be limited. change of other behaviours can be addressed later - and maybe i can even do them - but don't want to expand to include other items...
(arbitrary) scope was: add test to show current behaviour of system, including missing feature, add feature, address IDE warnings.

[KannarFr]

I agree with that. I want to trace the related issue and quote it there before merging this. To prevent us from forgetting it.

[time4tea]

oh - the issue was #69 (also in the pr desc) - unless i misunderstood?