File: ExactPart.cpp

package info (click to toggle)
storm-lang 0.7.4-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 52,004 kB
  • sloc: ansic: 261,462; cpp: 140,405; sh: 14,891; perl: 9,846; python: 2,525; lisp: 2,504; asm: 860; makefile: 678; pascal: 70; java: 52; xml: 37; awk: 12
file content (20 lines) | stat: -rw-r--r-- 427 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
#include "stdafx.h"
#include "ExactPart.h"
#include "Named.h"

namespace storm {

	ExactPart::ExactPart(Str *name, Array<Value> *params) : SimplePart(name, params) {}

	Int ExactPart::matches(Named *candidate, Scope scope) const {
		if (candidate->params->count() != params->count())
			return -1;

		for (Nat i = 0; i < params->count(); i++)
			if (params->at(i) != candidate->params->at(i))
				return -1;

		return 0;
	}

}