- From: Yves Lafon via cvs-syncmail <cvsmail@w3.org>
- Date: Fri, 21 Oct 2011 01:49:14 +0000
- To: www-validator-cvs@w3.org
Update of /sources/public/2002/css-validator/org/w3c/css/properties/css3
In directory hutz:/tmp/cvs-serv28700/org/w3c/css/properties/css3
Modified Files:
Css3Style.java
Removed Files:
MediaColor.java MediaColorIndex.java
MediaDeviceAspectRatio.java MediaDeviceHeight.java
MediaDeviceWidth.java MediaGrid.java MediaHeight.java
MediaMaxColor.java MediaMaxColorIndex.java
MediaMaxDeviceAspectRatio.java MediaMaxDeviceHeight.java
MediaMaxDeviceWidth.java MediaMaxHeight.java
MediaMaxMonochrome.java MediaMaxResolution.java
MediaMaxWidth.java MediaMinColor.java MediaMinColorIndex.java
MediaMinDeviceAspectRatio.java MediaMinDeviceHeight.java
MediaMinDeviceWidth.java MediaMinHeight.java
MediaMinMonochrome.java MediaMinResolution.java
MediaMinWidth.java MediaMonochrome.java MediaResolution.java
MediaScan.java MediaWidth.java
Log Message:
redone the Media Features of media queries, up to date per http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/, todo, parsing of media in HTML form
--- MediaMinWidth.java DELETED ---
--- MediaResolution.java DELETED ---
--- MediaMaxDeviceWidth.java DELETED ---
--- MediaMaxResolution.java DELETED ---
--- MediaMinDeviceWidth.java DELETED ---
--- MediaMaxMonochrome.java DELETED ---
--- MediaMinMonochrome.java DELETED ---
--- MediaMaxDeviceHeight.java DELETED ---
Index: Css3Style.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/css3/Css3Style.java,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -d -r1.14 -r1.15
--- Css3Style.java 7 Oct 2011 09:33:19 -0000 1.14
+++ Css3Style.java 21 Oct 2011 01:49:10 -0000 1.15
@@ -230,38 +230,6 @@
CssTextIndentCSS3 cssTextIndentCSS3;
CssBlockProgression cssBlockProgression;
- //media features for media queries
-
- MediaWidth mediaWidth;
- MediaMaxWidth mediaMaxWidth;
- MediaMinWidth mediaMinWidth;
- MediaHeight mediaHeight;
- MediaMinHeight mediaMinHeight;
- MediaMaxHeight mediaMaxHeight;
- MediaDeviceWidth mediaDeviceWidth;
- MediaMinDeviceWidth mediaMinDeviceWidth;
- MediaMaxDeviceWidth mediaMaxDeviceWidth;
- MediaDeviceHeight mediaDeviceHeight;
- MediaMinDeviceHeight mediaMinDeviceHeight;
- MediaMaxDeviceHeight mediaMaxDeviceHeight;
- MediaDeviceAspectRatio mediaDeviceAspectRatio;
- MediaMaxDeviceAspectRatio mediaMaxDeviceAspectRatio;
- MediaMinDeviceAspectRatio mediaMinDeviceAspectRatio;
- MediaColor mediaColor;
- MediaMinColor mediaMinColor;
- MediaMaxColor mediaMaxColor;
- MediaColorIndex mediaColorIndex;
- MediaMinColorIndex mediaMinColorIndex;
- MediaMaxColorIndex mediaMaxColorIndex;
- MediaMonochrome mediaMonochrome;
- MediaMinMonochrome mediaMinMonochrome;
- MediaMaxMonochrome mediaMaxMonochrome;
- MediaResolution mediaResolution;
- MediaMinResolution mediaMinResolution;
- MediaMaxResolution mediaMaxResolution;
- MediaScan mediaScan;
- MediaGrid mediaGrid;
-
public CssOpacity getOpacity() {
if (cssOpacity == null) {
cssOpacity =
@@ -1990,270 +1958,6 @@
return cssBlockProgression;
}
- // media features
-
-
- public MediaWidth getMediaWidth() {
- if (mediaWidth == null) {
- mediaWidth =
- (MediaWidth) style.CascadingOrder(
- new MediaWidth(), style, selector);
- }
- return mediaWidth;
- }
-
- public MediaMinWidth getMediaMinWidth() {
- if (mediaMinWidth == null) {
- mediaMinWidth =
- (MediaMinWidth) style.CascadingOrder(
- new MediaMinWidth(), style, selector);
- }
- return mediaMinWidth;
- }
-
- public MediaMaxWidth getMediaMaxWidth() {
- if (mediaMaxWidth == null) {
- mediaMaxWidth =
- (MediaMaxWidth) style.CascadingOrder(
- new MediaMaxWidth(), style, selector);
- }
- return mediaMaxWidth;
- }
-
- public MediaHeight getMediaHeight() {
- if (mediaHeight == null) {
- mediaHeight =
- (MediaHeight) style.CascadingOrder(
- new MediaHeight(), style, selector);
- }
- return mediaHeight;
- }
-
- public MediaMinHeight getMediaMinHeight() {
- if (mediaMinHeight == null) {
- mediaMinHeight =
- (MediaMinHeight) style.CascadingOrder(
- new MediaMinHeight(), style, selector);
- }
- return mediaMinHeight;
- }
-
- public MediaMaxHeight getMediaMaxHeight() {
- if (mediaMaxHeight == null) {
- mediaMaxHeight =
- (MediaMaxHeight) style.CascadingOrder(
- new MediaMaxHeight(), style, selector);
- }
- return mediaMaxHeight;
- }
-
- public MediaDeviceWidth getMediaDeviceWidth() {
- if (mediaDeviceWidth == null) {
- mediaDeviceWidth =
- (MediaDeviceWidth) style.CascadingOrder(
- new MediaDeviceWidth(), style, selector);
- }
- return mediaDeviceWidth;
- }
-
- public MediaMinDeviceWidth getMediaMinDeviceWidth() {
- if (mediaMinDeviceWidth == null) {
- mediaMinDeviceWidth =
- (MediaMinDeviceWidth) style.CascadingOrder(
- new MediaMinDeviceWidth(), style, selector);
- }
- return mediaMinDeviceWidth;
- }
-
- public MediaMaxDeviceWidth getMediaMaxDeviceWidth() {
- if (mediaMaxDeviceWidth == null) {
- mediaMaxDeviceWidth =
- (MediaMaxDeviceWidth) style.CascadingOrder(
- new MediaMaxDeviceWidth(), style, selector);
- }
- return mediaMaxDeviceWidth;
- }
-
- public MediaDeviceHeight getMediaDeviceHeight() {
- if (mediaDeviceHeight == null) {
- mediaDeviceHeight =
- (MediaDeviceHeight) style.CascadingOrder(
- new MediaDeviceHeight(), style, selector);
- }
- return mediaDeviceHeight;
- }
-
- public MediaMinDeviceHeight getMediaMinDeviceHeight() {
- if (mediaMinDeviceHeight == null) {
- mediaMinDeviceHeight =
- (MediaMinDeviceHeight) style.CascadingOrder(
- new MediaMinDeviceHeight(), style, selector);
- }
- return mediaMinDeviceHeight;
- }
-
- public MediaMaxDeviceHeight getMediaMaxDeviceHeight() {
- if (mediaMaxDeviceHeight == null) {
- mediaMaxDeviceHeight =
- (MediaMaxDeviceHeight) style.CascadingOrder(
- new MediaMaxDeviceHeight(), style, selector);
- }
- return mediaMaxDeviceHeight;
- }
-
- public MediaDeviceAspectRatio getMediaDeviceAspectRatio() {
- if (mediaDeviceAspectRatio == null) {
- mediaDeviceAspectRatio =
- (MediaDeviceAspectRatio) style.CascadingOrder(
- new MediaDeviceAspectRatio(), style, selector);
- }
- return mediaDeviceAspectRatio;
- }
-
- public MediaMinDeviceAspectRatio getMediaMinDeviceAspectRatio() {
- if (mediaMinDeviceAspectRatio == null) {
- mediaMinDeviceAspectRatio =
- (MediaMinDeviceAspectRatio) style.CascadingOrder(
- new MediaMinDeviceAspectRatio(), style, selector);
- }
- return mediaMinDeviceAspectRatio;
- }
-
- public MediaMaxDeviceAspectRatio getMediaMaxDeviceAspectRatio() {
- if (mediaMaxDeviceAspectRatio == null) {
- mediaMaxDeviceAspectRatio =
- (MediaMaxDeviceAspectRatio) style.CascadingOrder(
- new MediaMaxDeviceAspectRatio(), style, selector);
- }
- return mediaMaxDeviceAspectRatio;
- }
-
- public MediaColor getMediaColor() {
- if (mediaColor == null) {
- mediaColor =
- (MediaColor) style.CascadingOrder(
- new MediaColor(), style, selector);
- }
- return mediaColor;
- }
-
- public MediaMinColor getMediaMinColor() {
- if (mediaMinColor == null) {
- mediaMinColor =
- (MediaMinColor) style.CascadingOrder(
- new MediaMinColor(), style, selector);
- }
- return mediaMinColor;
- }
-
- public MediaMaxColor getMediaMaxColor() {
- if (mediaMaxColor == null) {
- mediaMaxColor =
- (MediaMaxColor) style.CascadingOrder(
- new MediaMaxColor(), style, selector);
- }
- return mediaMaxColor;
- }
-
- public MediaColorIndex getMediaColorIndex() {
- if (mediaColorIndex == null) {
- mediaColorIndex =
- (MediaColorIndex) style.CascadingOrder(
- new MediaColorIndex(), style, selector);
- }
- return mediaColorIndex;
- }
-
- public MediaMinColorIndex getMediaMinColorIndex() {
- if (mediaMinColorIndex == null) {
- mediaMinColorIndex =
- (MediaMinColorIndex) style.CascadingOrder(
- new MediaMinColorIndex(), style, selector);
- }
- return mediaMinColorIndex;
- }
-
- public MediaMaxColorIndex getMediaMaxColorIndex() {
- if (mediaMaxColorIndex == null) {
- mediaMaxColorIndex =
- (MediaMaxColorIndex) style.CascadingOrder(
- new MediaMaxColorIndex(), style, selector);
- }
- return mediaMaxColorIndex;
- }
-
- public MediaMonochrome getMediaMonochrome() {
- if (mediaMonochrome == null) {
- mediaMonochrome =
- (MediaMonochrome) style.CascadingOrder(
- new MediaMonochrome(), style, selector);
- }
- return mediaMonochrome;
- }
-
- public MediaMinMonochrome getMediaMinMonochrome() {
- if (mediaMinMonochrome == null) {
- mediaMinMonochrome =
- (MediaMinMonochrome) style.CascadingOrder(
- new MediaMinMonochrome(), style, selector);
- }
- return mediaMinMonochrome;
- }
-
- public MediaMaxMonochrome getMediaMaxMonochrome() {
- if (mediaMaxMonochrome == null) {
- mediaMaxMonochrome =
- (MediaMaxMonochrome) style.CascadingOrder(
- new MediaMaxMonochrome(), style, selector);
- }
- return mediaMaxMonochrome;
- }
-
- public MediaResolution getMediaResolution() {
- if (mediaResolution == null) {
- mediaResolution =
- (MediaResolution) style.CascadingOrder(
- new MediaResolution(), style, selector);
- }
- return mediaResolution;
- }
-
- public MediaMinResolution getMediaMinResolution() {
- if (mediaMinResolution == null) {
- mediaMinResolution =
- (MediaMinResolution) style.CascadingOrder(
- new MediaMinResolution(), style, selector);
- }
- return mediaMinResolution;
- }
-
- public MediaMaxResolution getMediaMaxResolution() {
- if (mediaMaxResolution == null) {
- mediaMaxResolution =
- (MediaMaxResolution) style.CascadingOrder(
- new MediaMaxResolution(), style, selector);
- }
- return mediaMaxResolution;
- }
-
- public MediaScan getMediaScan() {
- if (mediaScan == null) {
- mediaScan =
- (MediaScan) style.CascadingOrder(
- new MediaScan(), style, selector);
- }
- return mediaScan;
- }
-
- public MediaGrid getMediaGrid() {
- if (mediaGrid == null) {
- mediaGrid =
- (MediaGrid) style.CascadingOrder(
- new MediaGrid(), style, selector);
- }
- return mediaGrid;
- }
-
/**
* Returns the name of the actual selector
*/
--- MediaColorIndex.java DELETED ---
--- MediaDeviceHeight.java DELETED ---
--- MediaMaxDeviceAspectRatio.java DELETED ---
--- MediaGrid.java DELETED ---
--- MediaMaxColor.java DELETED ---
--- MediaMinColor.java DELETED ---
--- MediaDeviceAspectRatio.java DELETED ---
--- MediaWidth.java DELETED ---
--- MediaMaxColorIndex.java DELETED ---
--- MediaMinColorIndex.java DELETED ---
--- MediaMinDeviceHeight.java DELETED ---
--- MediaMinDeviceAspectRatio.java DELETED ---
--- MediaMinResolution.java DELETED ---
--- MediaScan.java DELETED ---
--- MediaMaxWidth.java DELETED ---
--- MediaDeviceWidth.java DELETED ---
--- MediaMaxHeight.java DELETED ---
--- MediaHeight.java DELETED ---
--- MediaMonochrome.java DELETED ---
--- MediaColor.java DELETED ---
--- MediaMinHeight.java DELETED ---
Received on Friday, 21 October 2011 01:49:17 UTC