C# (CSharp) UnresolvedTypeIdentifierの例

コード例 #1

ファイル: Visitor.cs プロジェクト: zvonimir/corral

 public override Microsoft.Boogie.Type VisitUnresolvedTypeIdentifier(UnresolvedTypeIdentifier node)
 {
     add(node);
     return(base.VisitUnresolvedTypeIdentifier(node));
 }

コード例 #2

ファイル: StandardVisitor.cs プロジェクト: qunyanm/boogie

 public virtual Type VisitUnresolvedTypeIdentifier(UnresolvedTypeIdentifier node) {
   Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<Type>() != null);
   return this.VisitType(node);
 }

コード例 #3

ファイル: Parser.cs プロジェクト: qunyanm/boogie

	void Type(out Bpl.Type/*!*/ ty) {
		Contract.Ensures(Contract.ValueAtReturn(out ty) != null); IToken/*!*/ tok; ty = dummyType; 
		if (StartOf(5)) {
			TypeAtom(out ty);
		} else if (la.kind == 1) {
			Ident(out tok);
			List<Bpl.Type>/*!*/ args = new List<Bpl.Type> (); 
			if (StartOf(6)) {
				TypeArgs(args);
			}
			ty = new UnresolvedTypeIdentifier (tok, tok.val, args); 
		} else if (la.kind == 18 || la.kind == 20) {
			MapType(out ty);
		} else SynErr(101);
	}

コード例 #4

ファイル: StandardVisitor.cs プロジェクト: qunyanm/boogie

 public override Type VisitUnresolvedTypeIdentifier(UnresolvedTypeIdentifier node)
 {
     Contract.Ensures(Contract.Result<Type>() == node);
     return this.VisitType(node);
 }

コード例 #5

ファイル: StandardVisitor.cs プロジェクト: luckysunda/hice-dt

 public virtual Type VisitUnresolvedTypeIdentifier(UnresolvedTypeIdentifier node)
 {
     Contract.Requires(node != null);
     Contract.Ensures(Contract.Result <Type>() != null);
     return(this.VisitType(node));
 }