package pt.iscte.ci.zas;

import java.util.HashSet;
import java.util.Set;

import net.sourceforge.fenixedu.applicationTier.IUserView;
import net.sourceforge.fenixedu.domain.person.RoleType;
import net.sourceforge.fenixedu.injectionCode.AccessControl;
import net.sourceforge.zas.metainfo.AccessControlled;
import net.sourceforge.zas.metainfo.NotAccessControlled;
import net.sourceforge.zas.aop.aspectj.Enforcer;

public aspect FenixEnforcer extends Enforcer<IUserView> {

    public IUserView currentSubject() {
	return AccessControl.getUserView();
    }

    public Class<FenixDefaultDecider> defaultDeciderClass() {
	return FenixDefaultDecider.class;
    }
    
    declare @constructor :
	net.sourceforge.fenixedu.applicationTier.Servico..*.new(..) :
	@NotAccessControlled;
    
    declare @type :
	net.sourceforge.fenixedu.applicationTier.Servico.resourceAllocationManager..* :
	@AccessControlled("RESOURCE_ALLOCATION_MANAGER");
}