CGSwiftCodeGenerator.swift

public enum CGSwiftCodeGeneratorDialect {
	case Standard
	case Silver
}

public class CGSwiftCodeGenerator : CGCStyleCodeGenerator {

	public init() {
		super.init()

		// current as of Elements 8.1 and Swift 1.2
		hardKeywords = ["__abstract", "__await", "__catch", "__event", "__finally", "__mapped", "__out", "__partial", "__throw", "__try", "__using", "__yield", "__COLUMN__", "__FILE__", "__FUNCTION__", "__LINE__",
					"associativity", "autoreleasepool", "break", "case", "catch", "class", "continue", "convenience", "default", "defer", "deinit", "didSet", "do", "dynamicType",
					"else", "enum", "extension", "fallthrough", "false", "final", "for", "func", "get", "guard", "if", "import", "in", "infix", "init", "inout", "internal", "is",
					"lazy", "left", "let", "mutating", "nil", "none", "nonmutating", "open", "operator", "optional", "override", "postfix", "precedence", "prefix", "private", "protocol", "public",
					"repeat", "required", "rethrows", "return", "right", "self", "Self", "set", "static", "strong", "struct", "subscript", "super", "switch", "throw", "throws", "true", "try", "Type", "typealias",
					"unowned", "var", "weak", "where", "while", "willSet"].ToList() as! List<String>

		softKeywords = ["as"].ToList() as! List<String>

		keywords = List<String>()
		keywords?.Add(hardKeywords)
		keywords?.Add(softKeywords)
	}

	private var hardKeywords: List<String>
	private var softKeywords: List<String>

	public var Dialect: CGSwiftCodeGeneratorDialect = .Standard

	internal override var supportNullabilityInGenerics: Boolean { Dialect != .Standard }

	public convenience init(dialect: CGSwiftCodeGeneratorDialect) {
		init()
		Dialect = dialect
	}

	public override var defaultFileExtension: String { return "swift" }

	override func escapeIdentifier(_ name: String) -> String {
		return "`\(name)`"
	}

	override func generateImport(_ imp: CGImport) {
		Append("import ")
		generateIdentifier(imp.Name, alwaysEmitNamespace: true)
		AppendLine()
	}

	override func generateStatementTerminator() {
		AppendLine() // no ; in Swift
	}

	//
	// Statements
	//

	// in C-styleCG Base class
	/*override func generateBeginEndStatement(_ statement: CGBeginEndBlockStatement) {
	}*/

	override func generateIfElseStatement(_ statement: CGIfThenElseStatement) {
		Append("if ")
		generateExpression(statement.Condition)
		AppendLine(" {")
		incIndent()
		generateStatementSkippingOuterBeginEndBlock(statement.IfStatement)
		decIndent()
		Append("}")
		if let elseStatement = statement.ElseStatement {
			AppendLine(" else {")
			incIndent()
			generateStatementSkippingOuterBeginEndBlock(elseStatement)
			decIndent()
			AppendLine("}")
		} else {
			AppendLine()
		}
	}

	override func generateForToLoopStatement(_ statement: CGForToLoopStatement) {
		if statement.Direction == CGLoopDirectionKind.Forward {
			Append("for ")
			generateIdentifier(statement.LoopVariableName)
			Append(" in ")
			generateExpression(statement.StartValue)
			Append(" ... ")
			generateExpression(statement.EndValue)
		} else {
			Append("for var ")
			generateIdentifier(statement.LoopVariableName)
			if let type = statement.LoopVariableType {
				Append(": ")
				generateTypeReference(type)
			}
			Append(" = ")
			generateExpression(statement.StartValue)
			Append("; ")

			generateIdentifier(statement.LoopVariableName)
			if statement.Direction == CGLoopDirectionKind.Forward {
				Append(" <= ")
			} else {
				Append(" >= ")
			}
			generateExpression(statement.EndValue)
			Append("; ")

			generateIdentifier(statement.LoopVariableName)
			Append("--")
		}

		AppendLine(" {")
		incIndent()
		generateStatementSkippingOuterBeginEndBlock(statement.NestedStatement)
		decIndent()
		AppendLine("}")
	}

	override func generateForEachLoopStatement(_ statement: CGForEachLoopStatement) {
		Append("for ")
		generateSingleNameOrTupleWithNames(statement.LoopVariableNames)
		Append(" in ")
		generateExpression(statement.Collection)
		AppendLine(" {")
		incIndent()
		generateStatementSkippingOuterBeginEndBlock(statement.NestedStatement)
		decIndent()
		AppendLine("}")
	}

	override func generateWhileDoLoopStatement(_ statement: CGWhileDoLoopStatement) {
		Append("while ")
		generateExpression(statement.Condition)
		AppendLine(" {")
		incIndent()
		generateStatementSkippingOuterBeginEndBlock(statement.NestedStatement)
		decIndent()
		Append("}")
	}

	override func generateDoWhileLoopStatement(_ statement: CGDoWhileLoopStatement) {
		Append("repeat {")
		incIndent()
		generateStatementsSkippingOuterBeginEndBlock(statement.Statements)
		decIndent()
		Append("} while ")
		generateExpression(statement.Condition)
	}

	/*override func generateInfiniteLoopStatement(_ statement: CGInfiniteLoopStatement) {
		// handled in base
	}*/

	override func generateSwitchStatement(_ statement: CGSwitchStatement) {
		Append("switch ")
		generateExpression(statement.Expression)
		AppendLine(" {")
		incIndent()
		for c in statement.Cases {
			Append("case ")
			helpGenerateCommaSeparatedList(c.CaseExpressions) {
				self.generateExpression($0)
			}
			AppendLine(":")
			generateStatementsIndentedUnlessItsASingleBeginEndBlock(c.Statements)
		}
		if let defaultStatements = statement.DefaultCase, defaultStatements.Count > 0 {
			AppendLine("default:")
			generateStatementsIndentedUnlessItsASingleBeginEndBlock(defaultStatements)
		}
		decIndent()
		AppendLine("}")
	}

	override func generateLockingStatement(_ statement: CGLockingStatement) {
		if Dialect == CGSwiftCodeGeneratorDialect.Silver {

			Append("__lock ")
			generateExpression(statement.Expression)
			AppendLine(" {")
			generateStatementSkippingOuterBeginEndBlock(statement.NestedStatement)
			AppendLine("}")

		} else {
			assert(false, "generateLockingStatement is not supported in Swift")
		}
	}

	override func generateUsingStatement(_ statement: CGUsingStatement) {
		if Dialect == CGSwiftCodeGeneratorDialect.Silver {

			Append("__using ")
			if let name = statement.Name {
				Append("let ")
				generateIdentifier(statement.Name)
				if let type = statement.`Type` {
					Append(": ")
					generateTypeReference(type)
				}
				Append(" = ")
			}
			generateExpression(statement.Value)
			AppendLine(" {")

			generateStatementSkippingOuterBeginEndBlock(statement.NestedStatement)

			AppendLine("}")

		} else {
			assert(false, "generateUsingStatement is not supported in Swift")
		}
	}

	override func generateAutoReleasePoolStatement(_ statement: CGAutoReleasePoolStatement) {
		AppendLine("autoreleasepool { ")
		incIndent()
		generateStatementSkippingOuterBeginEndBlock(statement.NestedStatement)
		decIndent()
		AppendLine("}")
	}

	override func generateTryFinallyCatchStatement(_ statement: CGTryFinallyCatchStatement) {
		AppendLine("do {")
		incIndent()
		if let finallyStatements = statement.FinallyStatements, finallyStatements.Count > 0 {
			AppendLine("defer {")
			incIndent()
			generateStatements(finallyStatements)
			decIndent()
			AppendLine("}")
		}
		generateStatements(statement.Statements)
		decIndent()
		Append("}")
		if let catchBlocks = statement.CatchBlocks, catchBlocks.Count > 0 {
			for b in catchBlocks {
				if let name = b.Name, let type = b.Type {
					Append(" catch let ")
					generateIdentifier(name)
					if Dialect == CGSwiftCodeGeneratorDialect.Silver {
						Append(": ")
						generateTypeReference(type, ignoreNullability: true)
					}
					AppendLine(" {")
				} else {
					AppendLine(" catch {")
				}
				incIndent()
				generateStatements(b.Statements)
				decIndent()
				AppendLine("}")
			}
		} else {
			AppendLine()
		}
	}

	/*
	override func generateReturnStatement(_ statement: CGReturnStatement) {
		// handled in base
	}
	*/

	override func generateYieldExpression(_ statement: CGYieldExpression) {
		if Dialect == CGSwiftCodeGeneratorDialect.Silver {
			Append("__yield ")
			generateExpression(statement.Value)
		} else {
			assert(false, "generateYieldStatement is not supported in Swift, except in Silver")
		}
	}

	override func generateThrowExpression(_ statement: CGThrowExpression) {
		if let value = statement.Exception {
			Append("throw ")
			generateExpression(value)
		} else {
			Append("throw")
		}
	}

	/*
	override func generateBreakStatement(_ statement: CGBreakStatement) {
		// handled in base
	}
	*/

	/*
	override func generateContinueStatement(_ statement: CGContinueStatement) {
		// handled in base
	}
	*/

	override func generateFallThroughStatement(_ statement: CGFallThroughStatement) {
		Append("fallthrough")
		generateStatementTerminator()
	}

	override func generateVariableDeclarationStatement(_ statement: CGVariableDeclarationStatement) {
		if statement.Constant || statement.ReadOnly {
			Append("let ")
		} else {
			Append("var ")
		}
		generateIdentifier(statement.Name)
		if let type = statement.`Type` {
			Append(": ")
			generateTypeReference(type)
		}
		if let value = statement.Value {
			Append(" = ")
			generateExpression(value)
		}
		AppendLine()
		//todo: smartly handle non-nulables w/o a value?
	}

	/*
	override func generateAssignmentStatement(_ statement: CGAssignmentStatement) {
		// handled in base
	}
	*/

	override func generateConstructorCallStatement(_ statement: CGConstructorCallStatement) {
		if let callSite = statement.CallSite {
			if let typeReferenceExpression = statement.CallSite as? CGTypeReferenceExpression {
				generateTypeReference(typeReferenceExpression.`Type`, ignoreNullability: true)
			} else {
				generateExpression(callSite)
			}
			Append(".")
		}
		Append("init(")
		if let ctorName = statement.ConstructorName {
			swiftGenerateCallParameters(statement.Parameters, firstParamName: removeWithPrefix(ctorName))
		} else {
			swiftGenerateCallParameters(statement.Parameters)
		}
		Append(")")
		AppendLine()
	}

	override func generateLocalMethodStatement(_ method: CGLocalMethodStatement) {
		Append("func ")
		generateIdentifier(method.Name)
		Append("(")
		swiftGenerateDefinitionParameters(method.Parameters)
		Append(")")

		if method.Throws {
			Append(" throws")
		}

		if let returnType = method.ReturnType, !returnType.IsVoid {
			Append(" -> ")
			returnType.startLocation = currentLocation
			generateTypeReference(returnType)
			returnType.endLocation = currentLocation
		}

		AppendLine(" {")
		incIndent()
		generateStatements(variables: method.LocalVariables)
		generateStatements(method.Statements)
		decIndent()
		AppendLine("}")
	}


	//
	// Expressions
	//

	/*
	override func generateNamedIdentifierExpression(_ expression: CGNamedIdentifierExpression) {
		// handled in base
	}
	*/

	/*
	override func generateAssignedExpression(_ expression: CGAssignedExpression) {
		// handled in base
	}
	*/

	/*
	override func generateSizeOfExpression(_ expression: CGSizeOfExpression) {
		// handled in base
	}
	*/

	override func generateTypeOfExpression(_ expression: CGTypeOfExpression) {
		if let typeReferenceExpression = expression.Expression as? CGTypeReferenceExpression {
			if Dialect == CGSwiftCodeGeneratorDialect.Silver {
				Append("typeOf(")
				generateExpression(expression.Expression)
				Append(")")
			} else {
				generateTypeReference(typeReferenceExpression.`Type`, ignoreNullability: true)
				Append(".self")
			}
		} else {
			Append("dynamicType(")
			generateExpression(expression.Expression)
			Append(")")
		}
	}

	override func generateDefaultExpression(_ expression: CGDefaultExpression) {
		Append("default(")
		generateTypeReference(expression.`Type`, ignoreNullability: true)
		Append(")")
	}

	override func generateSelectorExpression(_ expression: CGSelectorExpression) {
		Append("\"\(expression.Name)\"")
	}

	override func generateTypeCastExpression(_ cast: CGTypeCastExpression) {
		Append("(")
		generateExpression(cast.Expression)
		Append(" as")
		if !cast.GuaranteedSafe {
			if cast.ThrowsException {
				Append("!")
			} else{
				Append("?")
			}
		}
		Append(" ")
		generateTypeReference(cast.TargetType, ignoreNullability: true)
		Append(")")
	}

	override func generateInheritedExpression(_ expression: CGInheritedExpression) {
		Append("super")
	}

	override func generateMappedExpression(_ expression: CGMappedExpression) {
		Append("__mapped")
	}

	override func generateOldExpression(_ expression: CGOldExpression) {
		Append("__old")
	}

	override func generateSelfExpression(_ expression: CGSelfExpression) {
		Append("self")
	}

	override func generateNilExpression(_ expression: CGNilExpression) {
		Append("nil")
	}

	override func generatePropertyValueExpression(_ expression: CGPropertyValueExpression) {
		Append("newValue")
	}

	override func generateAwaitExpression(_ expression: CGAwaitExpression) {
		if Dialect == CGSwiftCodeGeneratorDialect.Silver {
			Append("__await ")
			generateExpression(expression.Expression)
		} else {
			assert(false, "generateEventDefinition is not supported in Swift, except in Silver")
		}
	}

	override func generateAnonymousMethodExpression(_ method: CGAnonymousMethodExpression) {
		Append("{")
		if method.Parameters.Count > 0 {
			Append(" (")
			helpGenerateCommaSeparatedList(method.Parameters) { param in
				self.generateIdentifier(param.Name)
				if let type = param.`Type` {
					self.Append(": ")
					self.generateTypeReference(type)
				}
			}
			Append(") in")
		}
		AppendLine()
		incIndent()
		generateStatements(variables: method.LocalVariables)
		generateStatementsSkippingOuterBeginEndBlock(method.Statements)
		decIndent()
		Append("}")
	}

	override func generateAnonymousTypeExpression(_ type: CGAnonymousTypeExpression) {
		Append("class ")
		if let ancestor = type.Ancestor {
			generateTypeReference(ancestor, ignoreNullability: true)
			Append(" ")
		}
		AppendLine("{")
		incIndent()
		helpGenerateCommaSeparatedList(type.Members, separator: { self.AppendLine() }) { m in

			if let member = m as? CGAnonymousPropertyMemberDefinition {

				self.Append("var ")
				self.generateIdentifier(m.Name)
				self.Append(" = ")
				self.generateExpression(member.Value)
				self.AppendLine()

			} else if let member = m as? CGAnonymousMethodMemberDefinition {

				self.Append("func ")
				self.generateIdentifier(m.Name)
				self.Append("(")
				self.swiftGenerateDefinitionParameters(member.Parameters)
				self.Append(")")
				if let returnType = member.ReturnType, !returnType.IsVoid {
					self.Append(" -> ")
					self.generateTypeReference(returnType)
				}
				self.AppendLine(" {")
				self.incIndent()
				self.generateStatements(member.Statements)
				self.decIndent()
				self.AppendLine("}")
			}
		}
		decIndent()
		Append("}")
	}

	override func generatePointerDereferenceExpression(_ expression: CGPointerDereferenceExpression) {
		assert(false, "generatePointerDereferenceExpression not implemented")
	}

	override func generateRangeExpression(_ expression: CGRangeExpression) {
		generateExpression(expression.StartValue)
		Append("...")
		generateExpression(expression.EndValue)
	}

	override func generateUnaryOperatorExpression(_ expression: CGUnaryOperatorExpression) {
		if let `operator` = expression.Operator, `operator` == .ForceUnwrapNullable {
			generateExpression(expression.Value)
			Append("!")
		} else {
			super.generateUnaryOperatorExpression(expression)
		}
	}

	/*
	override func generateBinaryOperatorExpression(_ expression: CGBinaryOperatorExpression) {
		// handled in base
	}
	*/

	/*
	override func generateUnaryOperator(_ `operator`: CGUnaryOperatorKind) {
		// handled in base
	}
	*/

	override func generateBinaryOperator(_ `operator`: CGBinaryOperatorKind) {
		switch (`operator`) {
			case .Is: Append("is")
			case .AddEvent: Append("+=") // Silver only
			case .RemoveEvent: Append("-=") // Silver only
			default: super.generateBinaryOperator(`operator`)
		}
	}

	/*
	override func generateIfThenElseExpression(_ expression: CGIfThenElseExpression) {
		// handled in base
	}
	*/

	/*
	override func generateArrayElementAccessExpression(_ expression: CGArrayElementAccessExpression) {
		// handled in base
	}
	*/

	internal func swiftGenerateStorageModifierPrefixIfNeeded(_ storageModifier: CGStorageModifierKind) {
		switch storageModifier {
			case .Strong: break
			case .Weak: Append("weak ")
			case .Unretained: Append("unowned ")
		}
	}

	internal func swiftGenerateCallSiteForExpression(_ expression: CGMemberAccessExpression) {
		if let callSite = expression.CallSite {
			if let typeReferenceExpression = expression.CallSite as? CGTypeReferenceExpression {
				generateTypeReference(typeReferenceExpression.`Type`, ignoreNullability: true)
			} else {
				generateExpression(callSite)
			}
			if expression.NilSafe {
				Append("?")
			} else if expression.UnwrapNullable {
				Append("!")
			}
			Append(".")
		}
	}

	func swiftGenerateCallParameters(_ parameters: List<CGCallParameter>, firstParamName: String? = nil) {
		for p in 0 ..< parameters.Count {
			let param = parameters[p]
			if p > 0 {
				Append(", ")
			}
			if let name = param.Name {
				generateIdentifier(name, keywords: hardKeywords)
				Append(": ")
			} else if p == 0, let name = firstParamName {
				generateIdentifier(name)
				Append(": ")
			}
			switch param.Modifier {
				case .Out: fallthrough
				case .Var:
					Append("&(")
					generateExpression(param.Value)
					Append(")")
				default:
					generateExpression(param.Value)
			}
		}
	}

	func swiftGenerateAttributeParameters(_ parameters: List<CGCallParameter>) {
		for p in 0 ..< parameters.Count {
			let param = parameters[p]
			if p > 0 {
				Append(", ")
			}
			if let name = param.Name {
				generateIdentifier(name)
				Append(" = ")
			}
			generateExpression(param.Value)
		}
	}

	override func generateParameterDefinition(_ param: CGParameterDefinition) {
		swiftGenerateParameterDefinition(param, emitExternal: false) // never emit the _
	}

	private func swiftGenerateParameterDefinition(_ param: CGParameterDefinition, emitExternal: Boolean, externalName: String? = nil) {
		if emitExternal, let externalName = externalName ?? param.ExternalName {
			if externalName != param.Name {
				generateIdentifier(externalName)
				Append(" ")
			}
		} else if emitExternal {
			Append("_ ")
		}
		generateIdentifier(param.Name)
		Append(": ")
		switch param.Modifier {
			case .Out:
				if Dialect == CGSwiftCodeGeneratorDialect.Silver {
					Append("__out ")
				} else {
					fallthrough
				}
			case .Var:
				Append("inout ")
			default:
		}
		if let type = param.`Type` {
			generateTypeReference(type)
		} else {
			assert("CGParameterDefinition needs a type, for Swift")
		}
		if param.Modifier == .Params {
			Append("...")
		}
		if let defaultValue = param.DefaultValue {
			Append(" = ")
			generateExpression(defaultValue)
		}
	}

	func swiftGenerateDefinitionParameters(_ parameters: List<CGParameterDefinition>, firstExternalName: String? = nil) {
		for p in 0 ..< parameters.Count {
			let param = parameters[p]
			if p > 0 {
				Append(", ")
			}
			param.startLocation = currentLocation
			swiftGenerateParameterDefinition(param, emitExternal: true, externalName: p == 0 ? firstExternalName : nil)
			param.endLocation = currentLocation
		}
	}

	func swiftGenerateGenericParameters(_ parameters: List<CGGenericParameterDefinition>?) {
		if let parameters = parameters, parameters.Count > 0 {
			Append("<")
			helpGenerateCommaSeparatedList(parameters) { param in
				self.generateIdentifier(param.Name)
				// variance isn't supported in swift
				//todo: 72081: Silver: NRE in "if let"
				//if let constraints = param.Constraints, filteredConstraints = constraints.Where({ return $0 is CGGenericIsSpecificTypeConstraint}).ToList(), filteredConstraints.Count > 0 {
				if let constraints = param.Constraints, constraints.Count > 0 {
					let filteredConstraints = constraints.Where({ return $0 is CGGenericIsSpecificTypeConstraint })
					self.Append(": ")
					self.helpGenerateCommaSeparatedList(filteredConstraints) { constraint in
						if let constraint2 = constraint as? CGGenericIsSpecificTypeConstraint {
							self.generateTypeReference(constraint2.`Type`)
						}
						// other constraints aren't supported in Swift
					}
				}
			}
			Append(">")
		}
	}

	func swiftGenerateAncestorList(_ type: CGClassOrStructTypeDefinition) {
		if type.Ancestors.Count > 0 || type.ImplementedInterfaces.Count > 0 {
			Append(" : ")
			var needsComma = false
			for ancestor in type.Ancestors {
				if needsComma {
					Append(", ")
				}
				generateTypeReference(ancestor, ignoreNullability: true)
				needsComma = true
			}
			for interface in type.ImplementedInterfaces {
				if needsComma {
					Append(", ")
				}
				generateTypeReference(interface, ignoreNullability: true)
				needsComma = true
			}
		}
	}

	override func generateFieldAccessExpression(_ expression: CGFieldAccessExpression) {
		swiftGenerateCallSiteForExpression(expression)
		generateIdentifier(expression.Name)
	}

	/*
	override func generateArrayElementAccessExpression(_ expression: CGArrayElementAccessExpression) {
		// handled in base
	}
	*/

	override func generateMethodCallExpression(_ method: CGMethodCallExpression) {
		swiftGenerateCallSiteForExpression(method)
		generateIdentifier(method.Name)
		generateGenericArguments(method.GenericArguments)
		if method.CallOptionally {
			Append("?")
		}
		Append("(")
		swiftGenerateCallParameters(method.Parameters)
		Append(")")
	}

	override func generateNewInstanceExpression(_ expression: CGNewInstanceExpression) {
		generateExpression(expression.`Type`, ignoreNullability: true)
		if let bounds = expression.ArrayBounds, bounds.Count > 0 {
			Append("[](count: ")
			helpGenerateCommaSeparatedList(bounds) { boundExpression in
				self.generateExpression(boundExpression)
			}
			Append(")")
		} else {
			generateGenericArguments(expression.GenericArguments)
			Append("(")
			if let ctorName = expression.ConstructorName {
				swiftGenerateCallParameters(expression.Parameters, firstParamName: removeWithPrefix(ctorName))
			} else {
				swiftGenerateCallParameters(expression.Parameters)
			}
			Append(")")

			if let propertyInitializers = expression.PropertyInitializers, propertyInitializers.Count > 0 {
				Append(" /* Property Initializers : ")
				helpGenerateCommaSeparatedList(propertyInitializers) { param in
					self.Append(param.Name)
					self.Append(" = ")
					self.generateExpression(param.Value)
				}
				Append(" */")
			}
		}
	}

	override func generatePropertyAccessExpression(_ property: CGPropertyAccessExpression) {
		swiftGenerateCallSiteForExpression(property)
		generateIdentifier(property.Name)
		if let params = property.Parameters, params.Count > 0 {
			Append("[")
			swiftGenerateCallParameters(property.Parameters)
			Append("]")
		}
	}

	override func cStyleEscapeSequenceForCharacter(_ ch: Char) -> String {
		return "\\u{"+Convert.ToString(Integer(ch), 16)+"}"
	}

	/*
	override func generateStringLiteralExpression(_ expression: CGStringLiteralExpression) {
		// handled in base
	}
	*/

	override func generateCharacterLiteralExpression(_ expression: CGCharacterLiteralExpression) {
		// Swift uses " and not ', even for chars.
		Append("\"\(cStyleEscapeCharactersInStringLiteral(expression.Value.ToString()))\"")
	}

	override func generateIntegerLiteralExpression(_ literalExpression: CGIntegerLiteralExpression) {
		switch literalExpression.Base {
			case 16: Append("0x"+literalExpression.StringRepresentation(base:16))
			case 10: Append(literalExpression.StringRepresentation(base:10))
			case 8:  Append("0o"+literalExpression.StringRepresentation(base:8))
			case 1:  Append("0b"+literalExpression.StringRepresentation(base:1))
			default: throw Exception("Base \(literalExpression.Base) integer literals are not currently supported for Swift.")
		}
		// no C-style suffixes in Swift
	}

	override func generateFloatLiteralExpression(_ literalExpression: CGFloatLiteralExpression) {
		switch literalExpression.Base {
			case 16: Append("0x"+literalExpression.StringRepresentation(base:16))
			case 10: Append(literalExpression.StringRepresentation())
			default: throw Exception("Base \(literalExpression.Base) float literals are not currently supported for Swift.")
		}
		// no C-style suffixes in Swift
	}

	override func generateArrayLiteralExpression(_ array: CGArrayLiteralExpression) {
		Append("[")
			helpGenerateCommaSeparatedList(array.Elements) {
			self.generateExpression($0)
		}
		Append("]")
	}

	override func generateSetLiteralExpression(_ expression: CGSetLiteralExpression) {
		Append("Set([")
		for e in 0 ..< expression.Elements.Count {
			if e > 0 {
				Append(", ")
			}
			generateExpression(expression.Elements[e])
		}
		Append("])")
	}

	override func generateDictionaryExpression(_ dictionary: CGDictionaryLiteralExpression) {
		assert(dictionary.Keys.Count == dictionary.Values.Count, "Number of keys and values in Dictionary doesn't match.")
		Append("[")
		for e in 0 ..< dictionary.Keys.Count {
			if e > 0 {
				Append(", ")
			}
			generateExpression(dictionary.Keys[e])
			Append(": ")
			generateExpression(dictionary.Values[e])
		}
		Append("]")
	}

	/*
	override func generateTupleExpression(_ expression: CGTupleLiteralExpression) {
		// default handled in base
	}
	*/

	//
	// Type Definitions
	//

	override func generateAttribute(_ attribute: CGAttribute, inline: Boolean) {
		Append("@")
		generateAttributeScope(attribute)
		generateTypeReference(attribute.`Type`, ignoreNullability: true)
		if let parameters = attribute.Parameters, parameters.Count > 0 {
			Append("(")
			swiftGenerateAttributeParameters(parameters)
			Append(")")
		}
		if let comment = attribute.Comment {
			Append(" ")
			generateSingleLineCommentStatement(comment)
		} else {
			if inline {
				Append(" ")
			} else {
				AppendLine()
			}
		}
	}

	override func generateAttributeScope(_ attribute: CGAttribute) {
		if let scope = attribute.Scope {
			switch scope {
				case .Assembly: Append("assembly:")
				case .Module: Append("module:")
				case .Global: Append("/*global:*/")
				case .Result: Append("result:")
				case .Parameter: Append("param:")
				case .Field: Append("field:")
				case .Getter: Append("/*get:*/")
				case .Setter: Append("/*set:*/")
				case .Type: Append("type:")
				case .Method: Append("method:")
				case .Event: Append("event:")
				case .Property: Append("property:")
			}
		}
	}

	func swiftGenerateTypeVisibilityPrefix(_ visibility: CGTypeVisibilityKind, sealed: Boolean = false, type: CGTypeDefinition? = nil) {
		if let type = type, type is CGClassTypeDefinition {
			switch visibility {
				case .Unspecified:
					if sealed {
						Append("final ")
					}
				case .Unit, .Assembly:
					Append("internal ") // non-sealed for internal use is implied
					if sealed {
						Append("final ")
					}
				case .Public:
					if sealed {
						Append("public final ")
					} else {
						Append("open ")
					}
			}
		} else {
			switch visibility {
				case .Unspecified:
					break;
				case .Unit, .Assembly:
					Append("internal ")
				case .Public:
					Append("public ")
			}
		}
	}

	func swiftGenerateMemberTypeVisibilityPrefix(_ visibility: CGMemberVisibilityKind, virtuality: CGMemberVirtualityKind, member: CGMemberDefinition? = nil, appendSpace: Boolean = true) {
		switch visibility {
			case .Unspecified: break /* no-op */
			case .Private: Append("private")
			case .Unit: fallthrough
			case .UnitOrProtected: fallthrough
			case .UnitAndProtected: fallthrough
			case .Assembly: fallthrough
			case .AssemblyAndProtected: Append("internal")
			case .AssemblyOrProtected: fallthrough
			case .Protected: fallthrough
			case .Published: fallthrough
			case .Public:
				if member is CGConstructorDefinition || (virtuality != .Virtual && virtuality != .Override) {
					Append("public")
				} else {
					Append("open")
				}
		}
		switch virtuality {
			case .None: break;
			case .Virtual: break; // handled above, and implied for non-pubic
			case .Dynamic: break; // handled above, and implied for non-pubic
			case .Abstract: if Dialect == CGSwiftCodeGeneratorDialect.Silver { Append(" __abstract") }
			case .Override: if let ctor = member as? CGConstructorDefinition {
				if !ctor.Required {
					Append(" override")
				}
			} else {
				Append(" override")
			}
			case .Final: Append(" final")
		}
		if let ctor = member as? CGConstructorDefinition, ctor.Required {
			Append(" required")
		}
		if appendSpace {
			Append(" ")
		}
	}

	func swiftGenerateStaticPrefix(_ isStatic: Boolean) {
		if isStatic {
			Append("static ")
		}
	}

	func swiftGenerateAbstractPrefix(_ isAbstract: Boolean) {
		if isAbstract && Dialect == CGSwiftCodeGeneratorDialect.Silver {
			Append("__abstract ")
		}
	}

	func swiftGeneratePartialPrefix(_ isPartial: Boolean) {
		if isPartial  && Dialect == .Silver {
			Append("__partial ")
		}
	}

	override func generateAliasType(_ type: CGTypeAliasDefinition) {
		swiftGenerateTypeVisibilityPrefix(type.Visibility)
		Append("typealias ")
		generateIdentifier(type.Name)
		swiftGenerateGenericParameters(type.GenericParameters)
		Append(" = ")
		generateTypeReference(type.ActualType)
		AppendLine()
	}

	override func generateCombinedInterfaceType(_ type: CGCombinedInterfaceDefinition) {
		swiftGenerateTypeVisibilityPrefix(type.Visibility)
		Append("typealias ")
		generateIdentifier(type.Name)
		swiftGenerateGenericParameters(type.GenericParameters)
		Append(" = ")
		helpGenerateCommaSeparatedList(type.Interfaces, separator: " & ") {
			self.generateTypeReference($0)
		}
		AppendLine()
	}


	override func generateBlockType(_ block: CGBlockTypeDefinition) {
		swiftGenerateTypeVisibilityPrefix(block.Visibility)
		Append("typealias ")
		generateIdentifier(block.Name)
		Append(" = ")
		swiftGenerateInlineBlockType(block)
		AppendLine()
	}

	func swiftGenerateInlineBlockType(_ block: CGBlockTypeDefinition) {
		if block.IsPlainFunctionPointer {
			Append("@FunctionPointer ")
		}
		Append("(")
		for p in 0 ..< block.Parameters.Count {
			if p > 0 {
				Append(", ")
			}
			if let type = block.Parameters[p].`Type` {
				generateTypeReference(type)
			} else {
				Append("Any?")
			}
		}
		Append(") ")
		if block.Throws {
			Append("throws ")

		}
		Append("-> ")
		if let returnType = block.ReturnType, !returnType.IsVoid {
			generateTypeReference(returnType)
		} else {
			Append("()")
		}
	}

	override func generateEnumType(_ type: CGEnumTypeDefinition) {
		swiftGenerateTypeVisibilityPrefix(type.Visibility)
		Append("enum ")
		generateIdentifier(type.Name)
		//ToDo: generic constraints
		if let baseType = type.BaseType {
			Append(" : ")
			generateTypeReference(baseType, ignoreNullability: true)
		}
		AppendLine(" { ")
		incIndent()
		for m in type.Members {
			if let m = m as? CGEnumValueDefinition {
				self.generateAttributes(m.Attributes, inline: false /*m.InlineAttributes*/)
				Append("case ")
				generateIdentifier(m.Name)
				if let value = m.Value {
					Append(" = ")
					generateExpression(value)
				}
				AppendLine()
			}
		}
		decIndent()
		AppendLine("}")
	}

	override func generateClassTypeStart(_ type: CGClassTypeDefinition) {
		swiftGenerateTypeVisibilityPrefix(type.Visibility, sealed: type.Sealed, type: type)
		swiftGenerateStaticPrefix(type.Static)
		swiftGeneratePartialPrefix(type.Partial)
		swiftGenerateAbstractPrefix(type.Abstract)
		Append("class ")
		generateIdentifier(type.Name)
		swiftGenerateGenericParameters(type.GenericParameters)
		swiftGenerateAncestorList(type)
		AppendLine(" { ")
		incIndent()
	}

	override func generateClassTypeEnd(_ type: CGClassTypeDefinition) {
		decIndent()
		AppendLine("}")
	}

	override func generateStructTypeStart(_ type: CGStructTypeDefinition) {
		swiftGenerateTypeVisibilityPrefix(type.Visibility, sealed: type.Sealed, type: type)
		swiftGenerateStaticPrefix(type.Static)
		swiftGeneratePartialPrefix(type.Partial)
		swiftGenerateAbstractPrefix(type.Abstract)
		Append("struct ")
		generateIdentifier(type.Name)
		swiftGenerateGenericParameters(type.GenericParameters)
		swiftGenerateAncestorList(type)
		AppendLine(" { ")
		incIndent()
	}

	override func generateStructTypeEnd(_ type: CGStructTypeDefinition) {
		decIndent()
		AppendLine("}")
	}

	override func generateInterfaceTypeStart(_ type: CGInterfaceTypeDefinition) {
		swiftGenerateTypeVisibilityPrefix(type.Visibility, sealed: type.Sealed, type: type)
		Append("protocol ")
		generateIdentifier(type.Name)
		swiftGenerateGenericParameters(type.GenericParameters)
		swiftGenerateAncestorList(type)
		AppendLine(" { ")
		incIndent()
	}

	override func generateInterfaceTypeEnd(_ type: CGInterfaceTypeDefinition) {
		decIndent()
		AppendLine("}")
	}

	override func generateExtensionTypeStart(_ type: CGExtensionTypeDefinition) {
		swiftGenerateTypeVisibilityPrefix(type.Visibility)
		Append("extension ")
		if let ancestor = type.Ancestors.FirstOrDefault() {
			generateTypeReference(ancestor, ignoreNullability: true)
		} else {
			generateIdentifier(type.Name)
		}
		Append(" ")
		AppendLine("{ ")
		incIndent()
	}

	override func generateExtensionTypeEnd(_ type: CGExtensionTypeDefinition) {
		decIndent()
		AppendLine("}")
	}

	override func generateMappedTypeStart(_ type: CGMappedTypeDefinition) {
		swiftGenerateTypeVisibilityPrefix(type.Visibility)
		Append("__mapped class ")
		if let ancestor = type.Ancestors.FirstOrDefault() {
			generateTypeReference(ancestor, ignoreNullability: true)
		} else {
			generateIdentifier(type.Name)
		}
		Append(" => ")
		generateTypeReference(type.mappedType)
		Append(" ")
		AppendLine("{ ")
		incIndent()
	}

	override func generateMappedTypeEnd(_ type: CGMappedTypeDefinition) {
		decIndent()
		AppendLine("}")
	}

	//
	// Type Members
	//

	override func generateMethodDefinition(_ method: CGMethodDefinition, type: CGTypeDefinition) {

		if type is CGInterfaceTypeDefinition {
			if method.Optional {
				Append("optional ")
			}
			swiftGenerateStaticPrefix(method.Static && !type.Static)
		} else {
			swiftGenerateMemberTypeVisibilityPrefix(method.Visibility, virtuality: method.Virtuality)
			swiftGenerateStaticPrefix(method.Static && !type.Static)
			if method.External && Dialect == CGSwiftCodeGeneratorDialect.Silver {
				Append("__extern ")
			}
		}
		Append("func ")
		generateIdentifier(method.Name)
		swiftGenerateGenericParameters(method.GenericParameters)
		Append("(")
		swiftGenerateDefinitionParameters(method.Parameters)
		Append(")")

		if method.Throws {
			Append(" throws")
		}

		if let returnType = method.ReturnType, !returnType.IsVoid {
			Append(" -> ")
			returnType.startLocation = currentLocation
			generateTypeReference(returnType)
			returnType.endLocation = currentLocation
		}

		if type is CGInterfaceTypeDefinition || method.External || definitionOnly {
			AppendLine()
			return
		}

		AppendLine(" {")
		incIndent()
		if let conditions = method.Preconditions, conditions.Count > 0 {
			AppendLine("__require")
			AppendLine("{")
			incIndent()
			generateInvariantExpressions(conditions)
			decIndent()
			AppendLine("}")
		}

		generateStatements(variables: method.LocalVariables)
		generateStatements(method.Statements)

		if let conditions = method.Postconditions, conditions.Count > 0 {
			AppendLine("__ensure")
			AppendLine("{")
			incIndent()
			generateInvariantExpressions(conditions)
			decIndent()
			AppendLine("}")
		}
		decIndent()
		AppendLine("}")
	}

	override func generateConstructorDefinition(_ ctor: CGConstructorDefinition, type: CGTypeDefinition) {
		if type is CGInterfaceTypeDefinition {
		} else {
			swiftGenerateMemberTypeVisibilityPrefix(ctor.Visibility, virtuality: ctor.Virtuality, member: ctor)
		}

		if let ctorCall = ctor.NestedConstrutorCall, ctorCall.CallSite is CGSelfExpression {
			Append("convenience ")
		}

		Append("init")
		if ctor.Failable {
			Append("?")
		}
		switch ctor.Nullability {
			case .NullableUnwrapped: Append("!")
			case .NullableNotUnwrapped: Append("?")
			default:
		}
		Append("(")
		if length(ctor.Name) > 0 {
			swiftGenerateDefinitionParameters(ctor.Parameters, firstExternalName: removeWithPrefix(ctor.Name))
		} else {
			swiftGenerateDefinitionParameters(ctor.Parameters)
		}
		Append(")")

		if type is CGInterfaceTypeDefinition || definitionOnly {
			AppendLine()
			return
		}

		AppendLine(" {")
		incIndent()
		generateStatements(variables: ctor.LocalVariables)
		generateStatements(ctor.Statements)
		decIndent()
		AppendLine("}")
	}

	override func generateDestructorDefinition(_ dtor: CGDestructorDefinition, type: CGTypeDefinition) {
		Append("deinit")

		if type is CGInterfaceTypeDefinition || definitionOnly {
			AppendLine()
			return
		}

		AppendLine(" {")
		incIndent()
		generateStatements(variables: dtor.LocalVariables)
		generateStatements(dtor.Statements)
		decIndent()
		AppendLine("}")
	}

	override func generateFinalizerDefinition(_ finalizer: CGFinalizerDefinition, type: CGTypeDefinition) {
		if type is CGInterfaceTypeDefinition {
			swiftGenerateStaticPrefix(finalizer.Static && !type.Static)
		} else {
			swiftGenerateMemberTypeVisibilityPrefix(finalizer.Visibility, virtuality: finalizer.Virtuality)
			swiftGenerateStaticPrefix(finalizer.Static && !type.Static)
			if finalizer.External && Dialect == CGSwiftCodeGeneratorDialect.Silver {
				Append("__extern ")
			}
		}
		Append("func Finalizer()")

		if type is CGInterfaceTypeDefinition || finalizer.External || definitionOnly {
			AppendLine()
			return
		}

		AppendLine(" {")
		incIndent()
		generateStatements(variables: finalizer.LocalVariables)
		generateStatements(finalizer.Statements)
		decIndent()
		AppendLine("}")
	}

	override func generateFieldDefinition(_ field: CGFieldDefinition, type: CGTypeDefinition) {
		swiftGenerateMemberTypeVisibilityPrefix(field.Visibility, virtuality: field.Virtuality)
		swiftGenerateStaticPrefix(field.Static && !type.Static)
		swiftGenerateStorageModifierPrefixIfNeeded(field.StorageModifier)
		if field.Constant {
			Append("let ")
		} else {
			Append("var ")
		}
		generateIdentifier(field.Name)
		if let type = field.`Type` {
			Append(": ")
			generateTypeReference(type)
		}
		if let value = field.Initializer {
			Append(" = ")
			generateExpression(value)
		} else {
			swiftGenerateDefaultInitializerForType(field.`Type`)
		}
		AppendLine()
	}

	override func generatePropertyDefinition(_ property: CGPropertyDefinition, type: CGTypeDefinition) {

		if property.GetterVisibility != nil || property.SetterVisibility != nil {
			if let v = property.GetterVisibility {
				swiftGenerateMemberTypeVisibilityPrefix(v, virtuality: property.Virtuality, appendSpace: false)
				Append("(get) ")
			} else {
				swiftGenerateMemberTypeVisibilityPrefix(property.Visibility, virtuality: property.Virtuality)
			}

			if let v = property.SetterVisibility {
				swiftGenerateMemberTypeVisibilityPrefix(v, virtuality: property.Virtuality, appendSpace: false)
				Append("(set) ")
			} else {
				swiftGenerateMemberTypeVisibilityPrefix(property.Visibility, virtuality: property.Virtuality, appendSpace: false)
				Append("(set) ")
			}
		} else {
			if !(type is CGInterfaceTypeDefinition) {
				swiftGenerateMemberTypeVisibilityPrefix(property.Visibility, virtuality: property.Virtuality)
			}
		}

		swiftGenerateStaticPrefix(property.Static && !type.Static)
		if property.Lazy {
			Append("lazy ")
		}
		swiftGenerateStorageModifierPrefixIfNeeded(property.StorageModifier)

		if let params = property.Parameters, params.Count > 0 {

			Append("subscript ")
			generateIdentifier(property.Name)
			Append("(")
			swiftGenerateDefinitionParameters(params)
			Append(")")
			if let type = property.`Type` {
				Append(" -> ")
				generateTypeReference(type)
			} else {
				assert(false, "Swift Subscripts must have a well-defined type.")
			}
			assert(property.Initializer == nil, "Swift Subscripts cannot have an initializer.")

		} else {

			if property.ReadOnly && (property.IsShortcutProperty) {
				Append("let ")
			} else if property.WriteOnly {
				Append("private(set) var ")
			} else {
				Append("var ")
			}
			generateIdentifier(property.Name)
			if let type = property.`Type` {
				Append(": ")
				generateTypeReference(type)
			}
		}

		if property.IsShortcutProperty {

			if type is CGInterfaceTypeDefinition  {
				if property.ReadOnly {
					Append(" { get }")
				} else if property.WriteOnly {
					Append(" { set }")
				} else {
					Append(" { get set }")
				}
				AppendLine()
				return
			}

			if let value = property.Initializer {
				Append(" = ")
				generateExpression(value)
			} else {
				swiftGenerateDefaultInitializerForType(property.`Type`)
			}
			AppendLine()

		} else {

			if let value = property.Initializer {
				assert(false, "Swift Properties cannot have both accessor statements and an initializer")
			}

			if type is CGInterfaceTypeDefinition || definitionOnly {
				AppendLine()
				return
			}

			AppendLine(" {")
			incIndent()

			if let getStatements = property.GetStatements {
				AppendLine("get {")
				incIndent()
				generateStatementsSkippingOuterBeginEndBlock(getStatements)
				decIndent()
				AppendLine("}")
			} else if let getExpresssion = property.GetExpression {
				AppendLine("get {")
				incIndent()
				generateStatement(CGReturnStatement(getExpresssion))
				decIndent()
				AppendLine("}")
			}

			if let setStatements = property.SetStatements {
				AppendLine("set {")
				incIndent()
				generateStatementsSkippingOuterBeginEndBlock(setStatements)
				decIndent()
				AppendLine("}")
			} else if let setExpression = property.SetExpression {
				AppendLine("set {")
				incIndent()
				generateStatement(CGAssignmentStatement(setExpression, CGPropertyValueExpression.PropertyValue))
				decIndent()
				AppendLine("}")
			}

			decIndent()
			AppendLine("}")
		}
	}

	override func generateEventDefinition(_ event: CGEventDefinition, type: CGTypeDefinition) {
		if Dialect == CGSwiftCodeGeneratorDialect.Silver {
			swiftGenerateMemberTypeVisibilityPrefix(event.Visibility, virtuality: event.Virtuality)
			swiftGenerateStaticPrefix(event.Static && !type.Static)
			Append("__event ")
			generateIdentifier(event.Name)
			if let type = event.`Type` {
				Append(": ")
				generateTypeReference(type)
			}

			if type is CGInterfaceTypeDefinition || definitionOnly {
				AppendLine()
				return
			}

			// Todo: Add/Rmeove/raise statements?
		} else {
			assert(false, "generateEventDefinition is not supported in Swift, except in Silver")
		}
	}

	override func wellKnownSymbolForCustomOperator(name: String!) -> String? {
		switch name.ToUpper() {
			case "implicit": return "__implicit"
			case "explicit": return "__explicit"
			default: return super.wellKnownSymbolForCustomOperator(name: name)
		}
	}

	override func generateCustomOperatorDefinition(_ customOperator: CGCustomOperatorDefinition, type: CGTypeDefinition) {
		if type is CGInterfaceTypeDefinition {
			if customOperator.Optional {
				Append("optional ")
			}
			swiftGenerateStaticPrefix(customOperator.Static && !type.Static)
		} else {
			swiftGenerateMemberTypeVisibilityPrefix(customOperator.Visibility, virtuality: customOperator.Virtuality)
			swiftGenerateStaticPrefix(customOperator.Static && !type.Static)
			if customOperator.External && Dialect == CGSwiftCodeGeneratorDialect.Silver {
				Append("__extern ")
			}
		}
		Append("static func ")
		if let symbol = wellKnownSymbolForCustomOperator(name: customOperator.Name) {
			Append(symbol)
		} else {
			Append(customOperator.Name)
		}
		Append("(")
		swiftGenerateDefinitionParameters(customOperator.Parameters)
		Append(")")

		if let returnType = customOperator.ReturnType, !returnType.IsVoid {
			Append(" -> ")
			returnType.startLocation = currentLocation
			generateTypeReference(returnType)
			returnType.endLocation = currentLocation
		}

		if type is CGInterfaceTypeDefinition || customOperator.External || definitionOnly {
			AppendLine()
			return
		}

		AppendLine(" {")
		incIndent()
		generateStatements(variables: customOperator.LocalVariables)
		generateStatements(customOperator.Statements)
		decIndent()
		AppendLine("}")
	}

	override func generateNestedTypeDefinition(_ member: CGNestedTypeDefinition, type: CGTypeDefinition) {
		generateTypeDefinition(member.`Type`)
	}

	//
	// Type References
	//

	func swiftSuffixForNullability(_ nullability: CGTypeNullabilityKind, defaultNullability: CGTypeNullabilityKind) -> String {
		switch nullability {
			case .Unknown:
				if Dialect == CGSwiftCodeGeneratorDialect.Silver {
					return "¡"
				} else {
					return ""
				}
			case .NullableUnwrapped:
				return "!"
			case .NullableNotUnwrapped:
				return "?"
			case .NotNullable:
				return ""
			case .Default:
				return swiftSuffixForNullability(defaultNullability, defaultNullability:CGTypeNullabilityKind.Unknown)
		}
	}

	func swiftSuffixForNullabilityForCollectionType(_ type: CGTypeReference) -> String {
		return swiftSuffixForNullability(type.Nullability, defaultNullability: Dialect == CGSwiftCodeGeneratorDialect.Silver ? CGTypeNullabilityKind.NotNullable : CGTypeNullabilityKind.NullableUnwrapped)
	}

	func swiftGenerateDefaultInitializerForType(_ type: CGTypeReference?) {
		if let type = type {
			if type.ActualNullability == CGTypeNullabilityKind.NotNullable || (type.Nullability == CGTypeNullabilityKind.Default && !type.IsClassType) {
				if let defaultValue = type.DefaultValue {
					Append(" = ")
					generateExpression(defaultValue)
				}
			}
		}
	}

	override func generateNamedTypeReference(_ type: CGNamedTypeReference, ignoreNullability: Boolean = false) {
		super.generateNamedTypeReference(type, ignoreNullability: ignoreNullability)
		if !ignoreNullability {
			Append(swiftSuffixForNullability(type.Nullability, defaultNullability: type.DefaultNullability))
		}
	}

	override func generatePredefinedTypeReference(_ type: CGPredefinedTypeReference, ignoreNullability: Boolean = false) {
		switch (type.Kind) {
			case .Int: Append("Int")
			case .UInt: Append("UInt")
			case .Int8: Append("Int8")
			case .UInt8: Append("UInt8")
			case .Int16: Append("Int16")
			case .UInt16: Append("UInt16")
			case .Int32: Append("Int32")
			case .UInt32: Append("UInt32")
			case .Int64: Append("Int64")
			case .UInt64: Append("UInt16")
			case .IntPtr: Append("Int")
			case .UIntPtr: Append("UInt")
			case .Single: Append("Float32")
			case .Double: Append("Float64")
			case .Boolean: Append("Bool")
			case .String: Append("String")
			case .AnsiChar: Append("AnsiChar")
			case .UTF16Char: Append("Char")
			case .UTF32Char: Append("Character")
			case .Dynamic: Append("Any")
			case .InstanceType: Append("Self")
			case .Void: Append("()")
			case .Object: if Dialect == CGSwiftCodeGeneratorDialect.Silver { Append("Object") } else { Append("NSObject") }
			case .Class: Append("AnyClass")
		}
		if !ignoreNullability {
			Append(swiftSuffixForNullability(type.Nullability, defaultNullability: type.DefaultNullability))
		}
	}

	override func generateInlineBlockTypeReference(_ type: CGInlineBlockTypeReference, ignoreNullability: Boolean = false) {
		let suffix = !ignoreNullability ? swiftSuffixForNullabilityForCollectionType(type) : ""
		if length(suffix) > 0 {
			Append("(")
			swiftGenerateInlineBlockType(type.Block)
			Append(")")
			Append(suffix)
		} else {
			swiftGenerateInlineBlockType(type.Block)
		}
	}

	override func generatePointerTypeReference(_ type: CGPointerTypeReference) {
		Append("UnsafePointer<")
		generateTypeReference(type.`Type`)
		Append(">")
	}

	override func generateKindOfTypeReference(_ type: CGKindOfTypeReference, ignoreNullability: Boolean = false) {
		if Dialect == CGSwiftCodeGeneratorDialect.Silver {
			Append("dynamic<")
			generateTypeReference(type.`Type`)
			Append(">")
			if !ignoreNullability {
				Append(swiftSuffixForNullability(type.Nullability, defaultNullability: .NullableUnwrapped))
			}
		} else {
			assert(false, "generateKindOfTypeReference is not supported in Swift, except in Silver")
		}
	}

	override func generateTupleTypeReference(_ type: CGTupleTypeReference, ignoreNullability: Boolean = false) {
		Append("(")
		for m in 0 ..< type.Members.Count {
			if m > 0 {
				Append(", ")
			}
			generateTypeReference(type.Members[m])
			if !ignoreNullability {
				Append(swiftSuffixForNullability(type.Nullability, defaultNullability: .NotNullable))
			}
		}
		Append(")")
	}

	override internal func generateOpaqueTypeReference(_ type: CGOpaqueTypeReference, ignoreNullability: Boolean = false) {
		Append("some ")
		generateTypeReference(type.Type)
	}

	override internal func generateExistentialTypeReference(_ type: CGExistentialTypeReference, ignoreNullability: Boolean = false) {
		Append("any ")
		generateTypeReference(type.Type)
	}

	override internal func generateMetaTypeReference(_ type: CGMetaTypeReference, ignoreNullability: Boolean = false) {
		generateTypeReference(type.Type)
		Append(".Type")
	}

	override func generateSetTypeReference(_ setType: CGSetTypeReference, ignoreNullability: Boolean = false) {
		assert(false, "generateSetTypeReference is not supported in Swift")
	}

	override func generateSequenceTypeReference(_ sequence: CGSequenceTypeReference, ignoreNullability: Boolean = false) {
		if Dialect == CGSwiftCodeGeneratorDialect.Silver {
			Append("ISequence<")
			generateTypeReference(sequence.`Type`)
			Append(">")
			if !ignoreNullability {
				Append(swiftSuffixForNullability(sequence.Nullability, defaultNullability: .NullableUnwrapped))
			}
		} else {
			assert(false, "generateSequenceTypeReference is not supported in Swift except in Silver")
		}
	}

	override func generateArrayTypeReference(_ array: CGArrayTypeReference, ignoreNullability: Boolean = false) {

		if let bounds = array.Bounds {
			var count = bounds.Count
			if count == 0 {
				count = 1
			}
			switch (array.ArrayKind) {
				case .Static:
					fallthrough
				case .Dynamic:
					generateTypeReference(array.`Type`)
					Append(swiftSuffixForNullabilityForCollectionType(array.`Type`))
					for b in 0 ..< count {
						Append("[]")
					}
					if !ignoreNullability {
						Append(swiftSuffixForNullability(array.Nullability, defaultNullability: .NotNullable))
					}
				case .HighLevel:
					for b in 0 ..< count {
						Append("[")
					}
					generateTypeReference(array.`Type`)
					Append(swiftSuffixForNullabilityForCollectionType(array.`Type`))
					for b in 0 ..< count {
						Append("]")
					}
					if !ignoreNullability {
						Append(swiftSuffixForNullability(array.Nullability, defaultNullability: .NullableUnwrapped))
					}
			}
		} else {
			switch (array.ArrayKind) {
				case .Static:
					fallthrough
				case .Dynamic:
					generateTypeReference(array.`Type`)
					Append("[]")
				case .HighLevel:
					Append("[")
					generateTypeReference(array.`Type`)
					Append("]")
			}
		}

		// bounds are not supported in Swift
	}

	override func generateDictionaryTypeReference(_ type: CGDictionaryTypeReference, ignoreNullability: Boolean = false) {
		Append("[")
		generateTypeReference(type.KeyType)
		Append(":")
		generateTypeReference(type.ValueType)
		Append("]")
		if !ignoreNullability {
			Append(swiftSuffixForNullabilityForCollectionType(type))
		}
	}

	//
	// Helpers
	//

	private func removeWithPrefix(_ name: String) -> String {
		var name = name
		if name.ToLowerInvariant().StartsWith("with") {
			name = name.Substring(4)
		}
		return lowercaseFirstLetter(name)
	}
}