mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-07 04:05:49 +00:00
883849ee32
This patch was automatically generated using the following script:
function convert() {
echo "Converting $1 to $2..."
find . \
! -wholename "*/.git*" \
! -wholename "obj-ff-dbg*" \
-type f \
\( -iname "*.cpp" \
-o -iname "*.h" \
-o -iname "*.c" \
-o -iname "*.cc" \
-o -iname "*.idl" \
-o -iname "*.ipdl" \
-o -iname "*.ipdlh" \
-o -iname "*.mm" \) | \
xargs -n 1 sed -i -e "s/\b$1\b/$2/g"
}
convert MOZ_OVERRIDE override
convert MOZ_FINAL final
46 lines
1.3 KiB
C++
46 lines
1.3 KiB
C++
/* -*- Mode: C++; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
#ifndef mozilla_dom_HTMLTimeElement_h
|
|
#define mozilla_dom_HTMLTimeElement_h
|
|
|
|
#include "mozilla/Attributes.h"
|
|
#include "nsIDOMHTMLElement.h"
|
|
#include "nsGenericHTMLElement.h"
|
|
#include "nsGkAtoms.h"
|
|
|
|
namespace mozilla {
|
|
namespace dom {
|
|
|
|
class HTMLTimeElement final : public nsGenericHTMLElement
|
|
{
|
|
public:
|
|
explicit HTMLTimeElement(already_AddRefed<mozilla::dom::NodeInfo>& aNodeInfo);
|
|
virtual ~HTMLTimeElement();
|
|
|
|
// HTMLTimeElement WebIDL
|
|
void GetDateTime(DOMString& aDateTime)
|
|
{
|
|
GetHTMLAttr(nsGkAtoms::datetime, aDateTime);
|
|
}
|
|
|
|
void SetDateTime(const nsAString& aDateTime, ErrorResult& aError)
|
|
{
|
|
SetHTMLAttr(nsGkAtoms::datetime, aDateTime, aError);
|
|
}
|
|
|
|
virtual void GetItemValueText(DOMString& text) override;
|
|
virtual void SetItemValueText(const nsAString& text) override;
|
|
virtual nsresult Clone(mozilla::dom::NodeInfo* aNodeInfo, nsINode** aResult) const override;
|
|
|
|
protected:
|
|
virtual JSObject* WrapNode(JSContext* aCx, JS::Handle<JSObject*> aGivenProto) override;
|
|
};
|
|
|
|
} // namespace dom
|
|
} // namespace mozilla
|
|
|
|
#endif // mozilla_dom_HTMLTimeElement_h
|