[feature request] verifier - allow bare Name=...
OpenPublic

Description

Currently, the only way to set a variable is as part of a fact, e.g.

#- SOMETHING_Anchor=@"SOMETHING" childof SourceFile=vname("", "corpus", "", "path/to/file", "")
#- SourceFile.node/kind file
SOMETHING = 1

It's easier to read (and find things) if I could define the unifiable variables separately:

#- SourceFile=vname("", "corpus", "", "path/to/file", "")
#- SourceFile.node/kind file
#- SOMETHING_Anchor childof SourceFile
#- SOMETHING_Anchor=@"SOMETHING"
SOMETHING = 1
pludemann created this task.Via WebJun 9 2016, 5:18 PM
pludemann added a subscriber: pludemann.
pludemann added a comment.Via WebJun 21 2016, 1:48 PM

My current work-around is to define the anchors like this:

Anchor_some_name=@"some_name" childof ThisFile
some_name = 'abc'

where ThisFile is defined by something like this:

#- ThisFile.node/kind file
#- ThisFile.text/encoding "utf'8"
#- SomeAnchor childof ThisFile=vname("", "corpus", "", "path/to/this/file", "")
fromberger assigned this task to zarko.Via WebJun 24 2016, 12:44 PM
fromberger triaged this task as "Wishlist" priority.
fromberger added a project: Verifier.
fromberger added a subscriber: fromberger.

Add Comment