andreamargheri / facpl Goto Github PK

I noticed the Facpl2Switch class doesn't have a source file in the repo, and yet it is included in the latest release (2.0.5) under plugins/it.unifi.xtext.facpl2_1.0.0.201807111101.jar

In fact, other core classes such as DateLiteral, AttributeReq, PAF and NotExpression don't have a source file, all coming from the it.unifi.xtext.facpl.facpl2 package. Strangely, the Effect class does have a source file of its own (/LIB/FACPL_Library/src/it/unifi/facpl/lib/enums/Effect.java)

Do you have any pointers to the missing files?

I made the following FACPL policy:

PolicySet Fallback  { deny-unless-permit
	target: true
	policies:
	
	Rule rule2 ( deny ) 
	
	obl-p: [M log("Uncaught request detected!")]
}

But when I try to generate XACML I get the error:

Policy Fallback does not respect the restriction for the generation of XACML code!  Check FACPL's Guide

Check FACPL's Guide

And in the guide, it says the target is a boolean expression. Isn't there a way to define a policy that is always applicable?