Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » Epsilon » Method 'satisfiesOne' not found for ...
Method 'satisfiesOne' not found for ... [message #876970] Fri, 25 May 2012 16:00 Go to next message
Horacio Hoyos is currently offline Horacio Hoyos
Messages: 155
Registered: October 2009
Senior Member

I was starting to work on some validations and from the error message it seems either I am doing something wrong, or satisfiesAll is buggy Wink. This is the code, the metamodel is Papyrus SysML.

context SysML!sysml::portandflows::FlowPort
{
    // The base port must be typed
    constraint IsTyped
    {
        check : self.base_Port.type.isDefined()
		
	message :  "FlowPort" + self.base_Port.name + " is not typed"
    }	
	
    constraint IsTypedWithHiLeS
    {
        guard : self.satisfies("IsTyped") and 
		self.satisfiesOne("IsBooleanOrLogic", "IsTerminalOrNode")
		
	check : true
		
    }
	
    // Logic and Boolean are not generalizations
    @lazy
    constraint IsBooleanOrLogic
    {
	guard : self.satisfies("IsTyped")
		
	check : self.type.name = "Logic"
		or self.type.name = "Boolean"
    }
	
    @lazy
    constraint HasGeneralization
    {
		
	guard : self.satisfies("IsTyped")
		
	check : self.base_Port.type.generalization.isDefined()
		
	message :  "FlowPort" + self.base_Port.name + " type is not a generalization "
			+ "of another type (All HiLeS library types are generalizations)."
    }

    @lazy
    constraint IsTerminalOrNode
    {  
	guard : self.satisfies("HasGeneralization")
		
	check : self.base_Port.type.generalization.general.name = "Terminal" or
		self.base_Port.type.generalization.general.name = "Node"
		
	message : "Flow Port " + self.base_Port.name + " NOT" 
    }
}


Horacio Hoyos Rodriguez
EngD Student
University Of York
Re: Method 'satisfiesOne' not found for ... [message #877349 is a reply to message #876970] Sat, 26 May 2012 14:19 Go to previous messageGo to next message
Antonio Garcia-Dominguez is currently offline Antonio Garcia-Dominguez
Messages: 309
Registered: January 2010
Senior Member
Hi Horacio,

Could you open a bug report for this, and provide us with a minimal model that reproduces the issue?

Thanks!
Re: Method 'satisfiesOne' not found for ... [message #878574 is a reply to message #877349] Tue, 29 May 2012 14:46 Go to previous message
Horacio Hoyos is currently offline Horacio Hoyos
Messages: 155
Registered: October 2009
Senior Member

Done: https://bugs.eclipse.org/bugs/show_bug.cgi?id=380910

Thanks,


Horacio Hoyos Rodriguez
EngD Student
University Of York
Previous Topic:Problem using Epsilon Unit Testing Framework
Next Topic:Debugging ETL transformations
Goto Forum:
  


Current Time: Mon Oct 20 04:40:16 GMT 2014

Powered by FUDForum. Page generated in 0.01548 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software