Policy:
	'concepts'
		(concepts+=Concept)+
	'conditions'
		(conditions+=Condition)+
	'actions'
		(actions+=Action)+

Concept:
	name=ID
	alias=Alias
	selection=Selection
;

Condition:
	leftSide=[Alias] operation=ConditionOperationDebug rightSide=[Alias]
;

Alias:
	name=ID
;

concepts
	person A (status='unknown')
	person B (status='known')
	room R (security='restricted')
conditions
	A within B
	A insideof R
actions
	raiseAlarm IN R.building

@Inject private ParseHelper<Policy> parser
...
parser.parse(...)

URI uri = URI.createPlatformResourceURI(file.getFullPath().toString(), true);
ResourceSet rs = resourceSetProvider.get(project);
Resource r = rs.getResource(uri, true);
EObject eobject = r.getContents().get(0);

Policy:
	'concepts'
		(concepts+=Concept)+
	'conditions'
		(conditions+=Condition)+
	'actions'
		(actions+=Action)+
	;
	
Concept:
	name=ID
	alias=Alias
	selection=Selection
;

Selection:
	"(" attribute=Attribute "=" state=AttributeValue ")"
;

Alias:
	name=ID
;

Attribute:
	ID
;

AttributeValue:
	STRING
;

Condition:
	leftSide=[Alias] operation=ConditionOperationDebug rightSide=[Alias]
;

ConditionOperationDebug:
	function=ID
;

ConditionOperation:
	'IS' 'NOT'? function=ID (value=ID 'OF')?
;

Action:
	function=ID ('IN')? arguments+=AttributeQualifier*
;

AttributeQualifier:
	alias=[Alias] "." attribute=Attribute
;

@InjectWith(PolicyInjectorProvider.class)
@RunWith(XtextRunner.class)
public class ParserTest {
	@Inject private ParseHelper<Policy> parser;
	
	private Policy policy;
	
	@Before
	public void setup() throws Exception {
		policy = parseInput(readPolicy());
	}

	private CharSequence readPolicy() throws Exception {
		BufferedReader in = new BufferedReader(new FileReader("res/security.policy"));
		StringBuilder input = new StringBuilder();
		String line;
		while ((line = in.readLine()) != null) {
			input.append(line);
		}
		in.close();
		return input;
	}
	
	private Policy parseInput(CharSequence input) throws Exception {
		return parser.parse(input);
	}

	@Test
	public void testCondition() throws Exception {
		// setup
		
		// verify
		Concept concept = policy.getConcepts().get(0);
		Condition condition = policy.getConditions().get(0);
		
		assertEquals(concept.getAlias().getName(), condition.getLeftSide().getName());
		assertSame(concept.getAlias(), condition.getLeftSide());
		assertEquals(2, policy.getConditions().size());
	}
}

input.append(line);

input.append(line + "\n");